WM-SEMERU / ACER
ACER is an AST-based Callgraph Generator Development Framework
☆33Updated 10 months ago
Alternatives and similar repositories for ACER:
Users that are interested in ACER are comparing it to the libraries listed below
- An integration of JoernTI's CodeTIDAL5 neural type inference model.☆24Updated 3 months ago
- Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).☆39Updated last year
- Mutation-guided mutation-based fuzz testing☆45Updated 9 months ago
- A Micro-benchmarking Framework for Python Type Inference Tools☆34Updated this week
- Extract and combine multiple source code views using tree-sitter☆135Updated this week
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆69Updated 5 months ago
- RepairAgent is an autonomous LLM-based agent for software repair.☆39Updated last month
- ☆27Updated 2 years ago
- ☆26Updated this week
- Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to s…☆17Updated 3 months ago
- Create CFGs and compute complexity metrics for Python, C++, and Java code.☆42Updated last year
- Dynamic analysis framework for Python☆69Updated 5 months ago
- Security Vulnerability Repair via Concolic Execution and Code Mutations☆18Updated 7 months ago
- DBGBench Website:☆18Updated 4 years ago
- Fast AST based code differencing in Python☆34Updated 3 months ago
- ☆138Updated 5 months ago
- ☆22Updated 2 years ago
- An empirical study on patch correctness☆15Updated 2 years ago
- ☆11Updated 4 years ago
- A powerful relational representation of source code☆31Updated last year
- Keep your bugs contained. A platform for studying historical software bugs.☆69Updated 4 months ago
- ☆20Updated 6 years ago
- ☆10Updated 4 years ago
- CoREBench: Errors in Find, Grep, Make☆13Updated 9 years ago
- 🪐 A Database of Existing Security Vulnerabilities Patches to Enable Evaluation of Techniques (single-commit; multi-language)☆38Updated 3 weeks ago
- Code for "Typilus: Neural Type Hints" PLDI 2020☆60Updated 2 years ago
- Debugging library to quickly get the minimal crashing test case☆37Updated 6 years ago
- ☆13Updated 10 months ago
- AFL++ with support for FormatFuzzer☆13Updated 3 years 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