cs-au-dk / taser
☆12Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for taser
- a basic Gradle configuration to get started with WALA☆28Updated last month
- WALA analyses and tools that are implemented in JavaScript☆82Updated 8 years ago
- 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
- Instrumentation framework for Node.js compliant to ECMAScript 2020 based on GraalVM.☆53Updated last month
- ODGen is a JavaScript Static Analysis tool to detect multiple types of vulnerabilities in Node.js packages.☆147Updated 9 months ago
- Performant taint analysis for Node.js☆49Updated 3 months ago
- ☆23Updated 9 months ago
- ☆28Updated last month
- The official repo of Doop, the declarative pointer analysis framework.☆164Updated this week
- Static JavaScript Analysis: AST, Control Flow, Data Flow, & Pointer Analysis☆22Updated 2 years ago
- A library to extract Code Property Graphs from C/C++, Java, Go, Python, Ruby and every other language through LLVM-IR.☆286Updated this week
- Towards Measuring Supply Chain Attacks on Package Managers for Interpreted Languages☆122Updated 2 years ago
- Precision-guided context sensitivity for pointer analysis☆57Updated last year
- ☆55Updated 11 months ago
- BigCloneEval - A Clone Detection Tool Evaluation Framework for BigCloneBench☆73Updated 11 months ago
- Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis☆123Updated 3 months ago
- A points-to and alias analysis benchmark suite☆36Updated 6 years ago
- Efficient and Precise Pointer-Tracking Data-Flow Framework☆41Updated 3 years ago
- Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to s…☆16Updated 8 months ago
- Home page of project "KB"☆114Updated 3 weeks ago
- MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration☆79Updated last month
- ISSTA'23 - Third-party Library Dependency for Large-scale SCA in the C/C++ Ecosystem: How Far Are We?☆27Updated last year
- TaintFlow, a framework for JavaScript dynamic information flow analysis.☆17Updated last year
- Modular static malicious JavaScript detection system☆65Updated 3 years ago
- Scalable Analysis Framework for ECMAScript☆119Updated 3 years ago
- Joana - Information Flow Control for Java☆91Updated 2 years ago
- Symbolic PathFinder☆130Updated last month
- A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and sup…☆190Updated 4 months ago
- Type Analyzer for JavaScript☆194Updated 4 years ago
- Artifact accompanying our ICSE '22 paper "Practical Automated Detection of Malicious npm Packages"☆39Updated 2 years ago