sola-st / wasm-call-graphsLinks
☆17Updated 2 years ago
Alternatives and similar repositories for wasm-call-graphs
Users that are interested in wasm-call-graphs are comparing it to the libraries listed below
Sorting:
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)☆76Updated 6 months ago
- A large dataset of real-world WebAssembly binaries, collected from the Web, GitHub, NPM and other sources. Useful as test data, to study …☆67Updated 3 years ago
- A native symbolic execution engine for WebAssembly☆49Updated last year
- This is the repo for an incremental pointer analysis for Java programs. This repo has been adopted by WALA☆25Updated 2 years ago
- MDG-based static vulnerability scanner specialized in analyzing npm packages and detecting taint-style and prototype pollution vulnerabil…☆22Updated last month
- Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).☆61Updated 2 months ago
- ISSTA'23 - Third-party Library Dependency for Large-scale SCA in the C/C++ Ecosystem: How Far Are We?☆29Updated 2 years ago
- A Generic and Efficient Code Property Graph Infrastructure forScanning Vulnerabilities in WebAssembly Code☆31Updated last year
- ☆61Updated 2 years ago
- ☆78Updated 3 years ago
- RTFM! Automatic Assumption Discovery and VerificationDerivation from Library Document for API Misuse Detection☆18Updated 4 years ago
- This is an evaluation set for the problem of directed/targeted test input generation. We use it to benchmark the ability of Large Languag…☆34Updated 10 months ago
- A Pointer Analysis Framework for Rust☆65Updated 7 months ago
- Non-Distinguishable Inconsistencies as a Deterministic Oracle for Detecting Security Bugs☆15Updated 3 years ago
- Camera Ready copy of FuzzSlice v1 code for ICSE☆21Updated 2 years ago
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆89Updated 4 months ago
- The public dataset in the paper "PatchDB: A Large-Scale Security Patch Dataset". This paper appears in the 51st Annual IEEE/IFIP Interna…☆48Updated 2 years ago
- [ICSE 2022] Controlled Concurrency Testing via Periodical Scheduling☆36Updated 3 years ago
- A fully automated Rust fuzz driver generator☆61Updated 7 months ago
- patch presence test via symbolic signatures, ICSE'24☆12Updated last year
- ☆38Updated 8 months ago
- This repository contains the artifact for the SOSP'23 paper: Sishuai Gong, Dinglan Peng, Deniz Altınbüken, Pedro Fonseca, Petros Maniati…☆15Updated 2 years ago
- For our ISSTA22 paper "DocTer: Documentation-Guided Fuzzing for Testing Deep Learning API Functions" by Danning Xie, Yitong Li, Mijung Ki…☆39Updated 3 years ago
- VulTrigger is a tool to for identifying vulnerability-triggering statements across functions and investigating the effectiveness of funct…☆43Updated 2 years ago
- The ISLa (Input Specification Language) language & solver.☆71Updated last year
- UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)☆61Updated 8 months ago
- ☆36Updated 5 months ago
- A mutation tool for source and IR☆13Updated 7 years ago
- Testing Configuration Changes in Context to Prevent Production Failures☆32Updated 2 years ago
- ☆12Updated 7 months ago