Creating Concise and Efficient Dynamic Analyses with ALDA.
This project implements a DSL parser & runtime library for dynamic analysis named ALDA(A novel Language for Dynamic Analyses). It now supports eraser, fast track, memory sanitizer, use-after-free analyses.
- G-parser: The project for parsing DSL & generate analysis c++ code
- rtLib: The runtime library for built-in data structures
- pass: The LLVM opt pass to do instrumentation
- LLVM 6.0 (If you are using newer version, you might need to make slight changes on CMakeLists.txt)
- flex & bison
- C++ boost library
- Python 3.5+
- Python fire
- Python Cheetah3
fire & Cheetah3 could be installed through pip3
- Please check artifact evaluation document: AE
- Please check the full syntax here: Syntax