cs-au-dk / taserLinks
☆13Updated 3 years ago
Alternatives and similar repositories for taser
Users that are interested in taser are comparing it to the libraries listed below
Sorting:
- Instrumentation framework for Node.js compliant to ECMAScript 2020 based on GraalVM.☆57Updated 4 months ago
- MDG-based static vulnerability scanner specialized in analyzing npm packages and detecting taint-style and prototype pollution vulnerabil…☆18Updated last month
- ☆16Updated 3 months ago
- ☆31Updated 8 months ago
- ☆33Updated 2 weeks ago
- Efficient and Precise Pointer-Tracking Data-Flow Framework☆40Updated 3 years ago
- Basic Gradle configuration and example drivers to get started with WALA☆29Updated 6 months ago
- This is the repo for an incremental pointer analysis for Java programs. This repo has been adopted by WALA☆24Updated 2 years ago
- ☆26Updated this week
- Securibench Micro is a benchmark for static analysis tools for security.☆26Updated 6 years ago
- A symbolic Java virtual machine for program analysis, verification and test generation☆111Updated 2 weeks ago
- ☆29Updated last month
- ☆22Updated 2 years ago
- ObjLupAnsys is a tool to detect prototype pollution vulnerabilities in Node.js packages. This project is written in Python and JavaScript…☆24Updated 3 years ago
- A points-to and alias analysis benchmark suite☆41Updated 6 years ago
- IDE/AL - Alias-Aware Framework for Interprocedural Dataflow Analysis☆10Updated 7 years ago
- WALA analyses and tools that are implemented in JavaScript☆82Updated 8 years ago
- COM S 413/513 and CPR E 513 Program Analysis @ Iowa State University☆30Updated last year
- Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis☆135Updated 2 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
- Scalable Analysis Framework for ECMAScript☆118Updated 4 years ago
- TaintFlow, a framework for JavaScript dynamic information flow analysis.☆17Updated 2 years ago
- ☆22Updated 2 years ago
- Mutation-guided mutation-based fuzz testing☆45Updated 10 months ago
- Performant taint analysis for Node.js☆50Updated 10 months ago
- An SMT Solver for string constraints☆38Updated 2 weeks ago
- Replication package for the paper "Systematically Covering Input Structure" published at ASE 2019☆9Updated last year
- ☆74Updated 2 years ago
- ☆20Updated 6 years ago
- ISSTA'23 - Third-party Library Dependency for Large-scale SCA in the C/C++ Ecosystem: How Far Are We?☆30Updated last year