Programming Analysis

[joydo]

Roll Rolfs Recommendations

https://www.msreverseengineering.com/program-analysis-reading-list/

Computer Science

• Basic automata/formal languages/Turing machines: Introduction to the Theory of Computation
• Basic programming language theory: University of Washington CSE P505 online video lectures and materials
• Formal semantics:Semantics with Applications
• Compilers:
  1. Appel's ML book
  2. Programming Language Pragmatics
  3. Muchnick's "Advanced Compiler Design and Implementation
• Algorithms:
  1. Dasgupta, Papadimitriou, and Vazirani's "Algorithms
  2. MIT's 6.046J on Open CourseWare
  3. Algorithmics for Hard Problems

Mathematics

• abstract algebra
  1. Gallian
  2. Dummit and Foote
• Order theory
  1. Introduction to Lattices and Order
  2. Lattices and Ordered Algebraic Structures
• Complexity Theory
  1. Arora and Barak
• Formal logic
  1. The Calculus of Computation
• Computability, undecidability
  1. The Undecidable
• Decision procedures
  1. Decision Procedures
• SAT solvers and their applications
  1. Handbook of Satisfiability
  2. Introduction to the Mathematics of Satisfiability
• abstract interpretation and abstract set theory
  1. Set Theory and the Continuum Problem

Program analysis, the "accessible" variety

• BitBlaze publications
• BAP publications
• TaintCheck
• All You Ever Wanted to Know About Dynamic Taint Analysis
• Forward Symbolic Execution
• Real World OCaml
• David Brumley's Ph.D. thesis
• David Molnar's Ph.D. thesis
• Sean Heelan's Master's thesis

Program analysis, the "serious" variety

• Principles of Program Analysis
• Cousot's MIT lecture course
• Value-Range Analysis of C Programs
• Gogul Balakrishnan's Ph.D. thesis
• Johannes Kinder's Ph.D. thesis
• Mila Dalla Preda's Ph.D. thesis
• Antoine Mine's Ph.D. thesis
• Davidson Rodrigo Boccardo's Ph.D. thesis
• Personal&Institution Papers
  1. CAV
  2. [SAS](http://www.sas2012.ens.fr/
  3. VMCAI
  4. Z3 team
  5. Mila Dalla Preda
  6. Joerg Brauer
  7. Andy King
  8. Axel Simon
  9. Roberto Giacobazzi
  10. Patrick Cousot
• Vijay D'Silva et al(1,2,3,4,5)

[joydo]

Personal idea : Learning Computer Science, you have to be digging into the mathematics field and Computer field

[joydo]

Diff Method & Algorithms Review:
hackernews discussion: https://news.ycombinator.com/item?id=13983085

About Search Engine Review:

1. https://github.com/yhirose/cpp-searchlib
2. https://github.com/typesense/typesense
3. https://github.com/valeriansaliou/sonic

[joydo]

An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing

• https://github.com/trailofbits/polytracker
• Related Paper: https://github.com/trailofbits/publications

[joydo]

Bap binary analysis theory

• Source: https://github.com/BinaryAnalysisPlatform/bap
• Theory: http://binaryanalysisplatform.github.io/bap/api/master/bap-core-theory/Bap_core_theory/index.html

[joydo]

CBMC(cprover) Bounded Check

• http://www.cprover.org/cprover-manual/cbmc/tutorial/

[joydo]

• Another Ghidra Integration for IDA
  links: https://github.com/airbus-cert/Yagi

[joydo]

• A Tool for analyzing X86_64 binary[llvm-based]
  https://github.com/GaloisInc/reopt