WM-SEMERU / ACERLinks
ACER is an AST-based Callgraph Generator Development Framework
☆33Updated 11 months ago
Alternatives and similar repositories for ACER
Users that are interested in ACER are comparing it to the libraries listed below
Sorting:
- Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).☆42Updated last year
- An integration of JoernTI's CodeTIDAL5 neural type inference model.☆25Updated 4 months ago
- Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to s…☆17Updated 4 months ago
- Extract and combine multiple source code views using tree-sitter☆140Updated 3 weeks ago
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆70Updated 6 months ago
- Minimal example of a standalone program that depends on Joern☆10Updated 3 months ago
- A Micro-benchmarking Framework for Python Type Inference Tools☆34Updated 3 weeks ago
- ☆26Updated this week
- ☆27Updated 2 years ago
- Security Vulnerability Repair via Concolic Execution and Code Mutations☆18Updated 8 months ago
- An empirical study on patch correctness☆15Updated 2 years ago
- Mutation-guided mutation-based fuzz testing☆45Updated 10 months ago
- The public dataset in the paper "PatchDB: A Large-Scale Security Patch Dataset". This paper appears in the 51st Annual IEEE/IFIP Interna…☆40Updated last year
- CClyzer port to souffle lang☆18Updated last year
- A powerful relational representation of source code☆31Updated last year
- Grey-box fuzzer SIVO☆14Updated 3 years ago
- ☆16Updated 3 months ago
- ☆138Updated last week
- Fast AST based code differencing in Python☆34Updated 4 months ago
- ☆16Updated 8 months ago
- ☆33Updated 2 weeks ago
- RepairAgent is an autonomous LLM-based agent for software repair.☆45Updated this week
- Python library for CPGQL server☆29Updated last year
- Interprocedural Distributive Environment algorithm implementation☆16Updated 9 years ago
- Sys, but no longer in Haskell☆18Updated 3 years ago
- ☆26Updated last year
- Debugging library to quickly get the minimal crashing test case☆37Updated 7 years ago
- ☆20Updated 6 years ago
- ☆14Updated 4 years ago
- LLAP is an LLVM-based tool for generating enriched program dependency graphs (ePDGs) from program source code that are suitable for use i…☆14Updated 2 years ago