C/C++
| # | Tool | Language | Repository | Commit id |
|---|---|---|---|---|
| 1 | Infer | C/C++ | https://github.com/facebook/infer | - |
| 2 | Pulse | C/C++ | https://github.com/facebook/infer | - |
| 3 | SAVER | C/C++ | https://github.com/kupl/SAVER_public | e7eca63 |
Java
| # | Tool | Language | Repository | Commit id |
|---|---|---|---|---|
| 1 | Infer | Java | https://github.com/facebook/infer | - |
| 2 | Hippodrome | Java | https://github.com/verse-lab/hippodrome | 012f291 |
C/C++
| # | Tool | Language | Repository | Commit id |
|---|---|---|---|---|
| 1 | Angelix | C/C++ | https://github.com/mechtaev/angelix | 01396ac |
| 2 | Prophet | C/C++ | https://github.com/rshariffdeen/prophet | 5f8c688 |
| 3 | Darjeeling | C/C++ | https://github.com/squareslab/darjeeling | ed6fb3e |
| 4 | CPR | C/C++ | https://github.com/rshariffdeen/CPR | 4863c60 |
| 5 | VulnFix | C/C++ | https://github.com/yuntongzhang/vulnfix | 44bdbab |
| 6 | F1X | C/C++ | https://github.com/mechtaev/f1x | e4a225e |
| 7 | Fix2Fit | C/C++ | https://github.com/gaoxiang9430/Fix2Fit | 349e4ba |
| 8 | SenX | C/C++ | N/A | N/A |
| 9 | GenProg | C/C++ | https://github.com/squaresLab/genprog-code | 0b25153 |
| 10 | ExtractFix | C/C++ | N/A | N/A |
| 11 | Verifix | C/C++ | https://github.com/zhiyufan/Verifix | 6d5bda0 |
| 12 | SAVER | C/C++ | https://github.com/kupl/SAVER_public | e7eca63 |
| 13 | FootPatch | C/C++ | https://github.com/squaresLab/footpatch | 8b79c19 |
Java
| # | Tool | Language | Repository | Commit id |
|---|---|---|---|---|
| 1 | Hippodrome | Java | https://github.com/verse-lab/hippodrome | 012f291 |
| 2 | SequenceR | Java | https://github.com/KTH/sequencer | 3bd0cd4 |
| 3 | ARJA | Java | https://github.com/yyxhdy/arja | e795032 |
| 4 | Cardumen | Java | https://github.com/SpoonLabs/Astor | f11f0b8 |
| 5 | jMutRepair | Java | https://github.com/SpoonLabs/Astor | f11f0b8 |
| 6 | jKali | Java | https://github.com/SpoonLabs/Astor | f11f0b8 |
| 7 | jGenProg | Java | https://github.com/SpoonLabs/Astor | f11f0b8 |
| 8 | Nopol | Java | https://github.com/SpoonLabs/nopol | 8cb3676 |
| 9 | Recorder | Java | https://github.com/pkuzqh/Recoder | 6f463f9 |
| 10 | TBar | Java | https://github.com/TruX-DTF/TBar | 3cc7552 |
| 11 | AlphaRepair | Java | N/A | N/A |