cs-au-dk / taser
☆12Updated 3 years ago
Alternatives and similar repositories for taser:
Users that are interested in taser are comparing it to the libraries listed below
- A symbolic Java virtual machine for program analysis, verification and test generation☆108Updated last month
- Basic Gradle configuration and example drivers to get started with WALA☆29Updated 2 months ago
- WALA analyses and tools that are implemented in JavaScript☆82Updated 8 years ago
- ☆30Updated 4 months ago
- Scalable Analysis Framework for ECMAScript☆119Updated 3 years ago
- Instrumentation framework for Node.js compliant to ECMAScript 2020 based on GraalVM.☆53Updated last month
- ☆26Updated 2 weeks ago
- LLMDFA: Analyzing Dataflow in Code with Large Language Models☆79Updated 4 months ago
- Joana - Information Flow Control for Java☆91Updated 3 years ago
- Automated program repair bibliography, tools and benchmarks.☆76Updated 3 months ago
- Efficient and Precise Pointer-Tracking Data-Flow Framework☆40Updated 3 years ago
- ☆15Updated last week
- ☆25Updated last year
- A powerful relational representation of source code☆30Updated last year
- NL2Type: Inferring JavaScript Function Types from Natural Language Information☆23Updated 5 years ago
- BigCloneEval - A Clone Detection Tool Evaluation Framework for BigCloneBench☆73Updated last year
- Home page of project "KB"☆117Updated 2 months ago
- Security methods for WeAkNess detection☆20Updated 3 months ago
- Probabilistic API Mining☆53Updated 7 years ago
- ☆13Updated 7 years ago
- ISSTA'23 - Third-party Library Dependency for Large-scale SCA in the C/C++ Ecosystem: How Far Are We?☆29Updated last year
- This is an evaluation set for the problem of directed/targeted test input generation. We use it to benchmark the ability of Large Languag…☆27Updated 5 months ago
- Precision-guided context sensitivity for pointer analysis☆60Updated last year
- JISET: JavaScript IR-based Semantics Extraction Toolchain☆41Updated 2 years ago
- Static data flow-based analysis of JavaScript files to detect syntactic clones☆22Updated 4 years ago
- Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis☆128Updated 2 weeks ago
- Phosphor: Dynamic Taint Tracking for the JVM☆171Updated last month
- Performant taint analysis for Node.js☆49Updated 6 months ago
- An inter-procedural data-flow analysis framework using value-based context sensitivity☆89Updated 8 months ago
- ☆39Updated 2 years ago