cs-au-dk / taser
☆12Updated 2 years ago
Related projects: ⓘ
- Instrumentation framework for Node.js compliant to ECMAScript 2020 based on GraalVM.☆52Updated last year
- WALA analyses and tools that are implemented in JavaScript☆82Updated 7 years ago
- a basic Gradle configuration to get started with WALA☆28Updated last month
- ☆12Updated last month
- Scalable Analysis Framework for ECMAScript☆118Updated 3 years ago
- ☆28Updated last year
- ObjLupAnsys is a tool to detect prototype pollution vulnerabilities in Node.js packages. This project is written in Python and JavaScript…☆22Updated 2 years ago
- Performant taint analysis for Node.js☆46Updated last month
- JISET: JavaScript IR-based Semantics Extraction Toolchain☆40Updated last year
- ISSTA'23 - Third-party Library Dependency for Large-scale SCA in the C/C++ Ecosystem: How Far Are We?☆26Updated last year
- ☆23Updated 7 months ago
- Security methods for WeAkNess detection☆19Updated this week
- A points-to and alias analysis benchmark suite☆35Updated 5 years ago
- ☆53Updated 9 months ago
- ☆30Updated this week
- The official repo of Doop, the declarative pointer analysis framework.☆159Updated last week
- Modular static malicious JavaScript detection system☆61Updated 3 years ago
- Type Analyzer for JavaScript☆192Updated 4 years ago
- Efficient and Precise Pointer-Tracking Data-Flow Framework☆40Updated 3 years ago
- ☆50Updated 8 months ago
- Artifact accompanying our ICSE '22 paper "Practical Automated Detection of Malicious npm Packages"☆35Updated 2 years ago
- ODGen is a JavaScript Static Analysis tool to detect multiple types of vulnerabilities in Node.js packages.☆146Updated 7 months ago
- This is the repo for an incremental pointer analysis for Java programs. This repo has been adopted by WALA☆24Updated last year
- Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis☆118Updated last month
- Symbolic PathFinder☆125Updated last month
- A symbolic Java virtual machine for program analysis, verification and test generation☆102Updated 5 months ago
- Static JavaScript Analysis: AST, Control Flow, Data Flow, & Pointer Analysis☆21Updated 2 years ago
- MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration☆76Updated 11 months ago
- Time-travel Testing☆106Updated 2 years ago
- Joana - Information Flow Control for Java☆91Updated 2 years ago