isstac / spf-wcaLinks
Tool for algorithmic complexity analysis based on symbolic execution
☆10Updated 6 years ago
Alternatives and similar repositories for spf-wca
Users that are interested in spf-wca are comparing it to the libraries listed below
Sorting:
- ☆26Updated last week
- DBGBench Website:☆18Updated 4 years ago
- A tool for analyzing LLVM bitcode using Datalog.☆100Updated 4 years ago
- ☆20Updated 6 years ago
- UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities☆32Updated 5 years ago
- An inter-procedural data-flow analysis framework using value-based context sensitivity☆90Updated last year
- TamiFlex facilitates static analysis of programs that use reflection and custom class loaders☆43Updated 4 years ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆16Updated 4 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
- The ISLa (Input Specification Language) language & solver.☆63Updated 11 months ago
- Mutation-guided mutation-based fuzz testing☆45Updated 10 months ago
- Interprocedural Distributive Environment algorithm implementation☆16Updated 9 years ago
- APISan: Sanitizing API Usages through Semantic Cross-Checking☆64Updated 3 years ago
- COM S 413/513 and CPR E 513 Program Analysis @ Iowa State University☆30Updated last year
- Indexing reachability for context-sensitive data flow analysis.☆11Updated 2 years ago
- A unification-based alias analysis and related tools☆34Updated 7 months ago
- Public release items for the DARPA Space/Time Analysis for Cybersecurity (STAC) program☆27Updated 7 years ago
- A dynamic symbolic analysis tool for Java☆119Updated 6 years ago
- User Guided API Misuse Detection☆29Updated 2 years ago
- ☆28Updated this week
- A System for Debloating C/C++ Programs☆31Updated 3 years ago
- Replication package for the paper "Systematically Covering Input Structure" published at ASE 2019☆9Updated last year
- Concolic analysis tool for Java☆21Updated last year
- Automatically exported from code.google.com/p/type-inference☆27Updated 6 years ago
- SymDiff-Differential-Program-Verifier☆35Updated 3 weeks ago
- IDE/AL - Alias-Aware Framework for Interprocedural Dataflow Analysis☆10Updated 7 years ago
- A data dependence analyzer for C program☆21Updated 3 years ago
- Lightweight tool for slicing☆35Updated 2 weeks ago
- Static checker for Java☆86Updated 4 months ago