eschulte / software-evolutionLinks
evolution of extant software
☆24Updated 8 years ago
Alternatives and similar repositories for software-evolution
Users that are interested in software-evolution are comparing it to the libraries listed below
Sorting:
- The SearchRepair automated C program repair tool (see http://people.cs.umass.edu/~brun/pubs/pubs/Ke15ase.pdf)☆27Updated 6 years ago
- Manipulate C-family ASTs with Clang☆68Updated 7 years ago
- Python wrapper for the Clang C++ preprocessor and parser.☆128Updated 11 years ago
- CoREBench: Errors in Find, Grep, Make☆13Updated 10 years ago
- ☆38Updated 11 years ago
- A set of C Preprocessor analysis and source code rejuvenation tools that perform source to source translation of C++ programs by replacin…☆48Updated 8 years ago
- Artifact for the OOPSLA 17 DejaVu Paper☆11Updated 8 years ago
- Manipulate C-family ASTs with Clang☆69Updated 11 years ago
- GenProg: heuristic, GP-based automatic program repair for C.☆100Updated 4 years ago
- Staging area for work on Integer Overflow Checker (IOC), a clang extension that provides compiler flags to insert check for various sourc…☆22Updated 13 years ago
- Java bytecode generator for sound and precise partial program analysis☆24Updated 4 years ago
- ☆12Updated 6 years ago
- GramTest: A tool for Grammar based Test case generation☆88Updated 2 years ago
- ☆15Updated 6 years ago
- A Clang/LLVM add-on to enforce coding rules☆33Updated 12 years ago
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆25Updated 3 years ago
- TypeSan checks casts in C++ code - code released for CCS 2016☆36Updated 4 years ago
- A Python library for easy and fast program transformation/repair☆15Updated 4 years ago
- LLVM-based, flexible, live coverage instrumentation for C/C++ code☆46Updated 10 years ago
- Abstract interpreter for real-world application programs☆32Updated 12 years ago
- Pyc-cfg is a pure python control flow graph builder for almost all Ansi C programming language.☆56Updated 8 years ago
- x86-64 Intel instruction set in JSON format☆54Updated 9 years ago
- Oink is a collaboration of C++ static analysis tools.☆156Updated 3 years ago
- Semantic Crash Bucketing☆16Updated 5 years ago
- Rewrite C/C++/Obj-C to Annotate Points of Interest☆27Updated 9 years ago
- CCG is a random C Code Generator☆43Updated 3 years ago
- Data and scripts for the paper "Polymorphic Type Inference for Machine Code"☆13Updated 9 years ago
- Integer arithmetic with overflow detection☆73Updated 11 years ago
- A simple VM to play with OSR in LLVM☆15Updated 8 years ago
- Keep your bugs contained. A platform for studying historical software bugs.☆69Updated last year