Few things I am inerested in!

alltutoroals.md

Compiler Tools and Techniques

Compilers

LLVM

• Backend

• https://github.com/draperlaboratory/fracture/wiki

• Life of an instruction in LLVM by Eli

• Different LLVM IRs

• MC Project

• Builds/Writing Passes

  • llvm-dev-meeting-tutorial-2015
  • clang-llvm-tutorial
  • Developing passes out of source
  • Write LLVM Pass
  • Run a LLVM pass automatically with clang
  • LLVM for Grad Students
  • LLVM Debugging Tips and Tricks
  • Analyzing function CFGs with LLVM

Debuggers

• Writing a Linux Debugger

Miscellaneous Reads

• Tail Call Optimizations

Program Synthesis

• Adrian Sampson: Program Synthesis is Possible
• A program Synthesis Primer
• Program Synthesis Explained

Machine Learning

Install tensor-flow

• https://www.tensorflow.org/install/pip
• Tensorflow Playground

Books

• mlyearning
• Neural Networks and Deep Learning
• Deep Learning
• Videos

Courses

• AI For Everyone
• CNN
• Introduction to TensorFlow for Artificial Intelligence, Machine Learning, and Deep Learning by deeplearning.ai and offered by Coursera. Laurence Moroney
  • Using TF to implement NNs, CNNs

Videos Lectures

• TensorFlow
• MIT course introtodeeplearning
  • MIT 6.S191: Deep Reinforcement Learning
    • Vedio
    • slide
• Stanford CS230: Deep Learning | Autumn 2018

Z3

• SAT/SMT by Example
• z3py-tutorial
  • Z3 API in Python
  • z3 playground
  • Python SymEx Using Z3
• Programming Z3

Reverse Engineering

• Blogs

  • ShortJump

• Articles

  • Liveness Analysis

• Tools

  • IDA
    • Shortjump
      • Using Z3 with IDA to simplify arithmetic operations in functions
      • Writing a simple x86 emulator with IDAPython
    • IDAPython Tutorial with example script
    • Using IdaPython to make your life easier
    • List of IdaPlugins
    • Running scripts from the command line with idascript
    • IDAPython Project for HexRays
    • IDAPython Doc
    • IDA switches
  • LIEF - Library to Instrument Executable Formats
  • Powerful Disassembler Library For x86/AMD64
    • wiki
    • Instruction decoding
  • Angr CLE
  • libelfin - C++11 ELF/DWARF parser
  • Triton - Dynamic Binary Analysis (DBA) framework
  • pyelftools - Parsing ELF and DWARF in Python
  • Ghidra
    • Shortjump
      • Ghidra: A quick overview for the curious

• ShortJump

  • Using Z3 with IDA to simplify arithmetic operations in functions
  • Writing a simple x86 emulator with IDAPython

• IDA

  • IDAPython Tutorial with example script
  • Using IdaPython to make your life easier
  • List of IdaPlugins
  • Running scripts from the command line with idascript
  • IDAPython Project for HexRays

Formal Methods

Programming for Correctness

• Weakest precondtions
  • UTAustin Vedio Blog

Technical Bloggers

• Simon Brand
• SHORTJUMP: Reversing engineering, programming and what not…

ISA semantics

• Peter Sewell
  • The Semantics of Power and ARM Multiprocessor Programs
• Vedio: ISA Semantics for ARMv8-A, RISC-V, and CHERI-MIPS
• CakeML