ChunghaSung / JSdepLinks
Repository for FSE 2016 paper "Static DOM Event Dependency Analysis for Testing Web Applications".
☆10Updated 6 years ago
Alternatives and similar repositories for JSdep
Users that are interested in JSdep are comparing it to the libraries listed below
Sorting:
- This is java implementation of Graspan.☆20Updated last year
- ☆35Updated 2 years ago
- Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.☆10Updated 7 years ago
- CoREBench: Errors in Find, Grep, Make☆13Updated 9 years ago
- LLFI is an LLVM based fault injection tool, that injects faults into the LLVM IR of the application source code. The faults can be injec…☆76Updated 3 years ago
- Tool for analyzing git log messages and diffs.☆22Updated 4 years ago
- SUPA☆28Updated 5 years ago
- A System for Debloating C/C++ Programs☆31Updated 4 years ago
- ☆26Updated 3 years ago
- An inter-procedural data-flow analysis framework using value-based context sensitivity☆91Updated last year
- Dynamic Program Slicing in LLVM Compiler☆142Updated 7 years ago
- An empirical study on patch correctness☆15Updated 2 years ago
- This is a C++ implementation of Graspan.☆32Updated last year
- A tool for learning bug patterns.☆11Updated 9 years ago
- Artifact for the OOPSLA 17 DejaVu Paper☆10Updated 8 years ago
- Python Symbolic Execution☆72Updated 6 years ago
- Source-to-source transformation to call native symbolic execution library and SMT Kit☆32Updated 11 years ago
- Test-Case Prioritization for Configuration Testing☆16Updated 4 years ago
- Builds Data Provenance Graph for Multi-Threaded Programms using tthread and Intel Pt.☆14Updated 9 years ago
- Vulnerability database generator: a submodule for VUDDY☆13Updated last year
- A data dependence analyzer for C program☆21Updated 3 years ago
- An LLVM-based formal verification frontend for C programs.☆25Updated 3 years ago
- Implementation and evaluation data of the Concolic Walk heuristic for solving complex arithmetic path conditions.☆14Updated 11 years ago
- ☆15Updated 6 years ago
- ☆16Updated last year
- Pyc-cfg is a pure python control flow graph builder for almost all Ansi C programming language.☆55Updated 7 years ago
- ☆25Updated 4 years ago
- SanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.☆53Updated 4 years ago
- Inter-procedural analysis framework and dependency/information-flow analysis for LLVM☆19Updated 12 years ago
- A pass that can generate PDG(in *.dot) for LLVM.☆36Updated 9 years ago