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
- Basic Gradle configuration and example drivers to get started with WALA☆29Updated 3 months ago
- WALA analyses and tools that are implemented in JavaScript☆82Updated 8 years ago
- Instrumentation framework for Node.js compliant to ECMAScript 2020 based on GraalVM.☆54Updated 2 months ago
- Joana - Information Flow Control for Java☆92Updated 3 years ago
- ISSTA'23 - Third-party Library Dependency for Large-scale SCA in the C/C++ Ecosystem: How Far Are We?☆29Updated last year
- ☆31Updated 5 months ago
- ☆26Updated last year
- ObjLupAnsys is a tool to detect prototype pollution vulnerabilities in Node.js packages. This project is written in Python and JavaScript…☆23Updated 3 years ago
- JISET: JavaScript IR-based Semantics Extraction Toolchain☆41Updated 2 years ago
- Artifact accompanying our ICSE '22 paper "Practical Automated Detection of Malicious npm Packages"☆43Updated 3 years ago
- ☆112Updated 2 years ago
- Static JavaScript Analysis: AST, Control Flow, Data Flow, & Pointer Analysis☆25Updated 3 years ago
- ☆54Updated last year
- Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis☆131Updated last week
- Automated program repair bibliography, tools and benchmarks.☆78Updated 3 weeks ago
- A symbolic Java virtual machine for program analysis, verification and test generation☆109Updated 2 months ago
- Performant taint analysis for Node.js☆49Updated 7 months ago
- Efficient and Precise Pointer-Tracking Data-Flow Framework☆40Updated 3 years ago
- Scalable Analysis Framework for ECMAScript☆119Updated 3 years ago
- ☆56Updated last year
- ODGen is a JavaScript Static Analysis tool to detect multiple types of vulnerabilities in Node.js packages.☆153Updated last year
- This repository is to support contributions for tools and new data entries for the D2A dataset hosted in DAX☆69Updated 2 years ago
- VUDDY: A Scalable and Accurate Vulnerable Code Clone Detector (S&P'17)☆51Updated 2 months ago
- Home page of project "KB"☆121Updated this week
- This is an evaluation set for the problem of directed/targeted test input generation. We use it to benchmark the ability of Large Languag…☆29Updated 3 weeks ago
- This is the repo for an incremental pointer analysis for Java programs. This repo has been adopted by WALA☆24Updated 2 years ago
- Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to s…☆17Updated 2 months ago
- The official repo of Doop, the declarative pointer analysis framework.☆173Updated 3 weeks ago
- A Pointer Analysis Framework for Rust☆50Updated 2 months ago
- AutoPruner: Transformer-based Call Graph Pruning (ESEC/FSE 2022, Research Track)☆22Updated last year