pku-msv-lab / angelix

Semantic program repair system for C programs

http://angelix.io

pku-msv-lab/angelix Issues

Angelix example from `Tutorial.md` fails to find a repair with `--instr-printf distance.c`
Closed 3 years ago3
Error: make default
Updated 3 years ago
Can't reproduce experimental results with docker image
Updated 3 years ago
Can't pass tutorial test
Closed 3 years ago1
Can't pass the tutorial test
Closed 3 years ago14
make with multi-threaded fail
Updated 3 years ago1
Angelix docker version failed test
Closed 3 years ago4
compiling failed
Closed 3 years ago4
https://git.llvm.org/git/clang-tools-extra not accessible
Closed 3 years ago2
Downloading dependencies during docker build fails due to Java certificates
Closed 4 years ago
Problem of reproducing the angelix test
Closed 4 years ago2
Dockerfile doesn't build: Unsupported major.minor version 52.0
Closed 4 years ago1
Problem of generating the patch for tutorial folder
Closed 5 years ago
Update for the latest KLEE
Updated 5 years ago1
What should I write in assert.json if the output includes string?
Closed 5 years ago1
Files are never closed after being written (in src/repair)
Closed 5 years ago2
Support null-terminated strings for ANGELIX_OUTPUT
Updated 6 years ago2
Calling Angelix from the source directory causes crash
Closed 8 years ago
Support augmented assignments
Closed 8 years ago
Don't consider expression with 0 suspiciousness score, because they are not executed by failing tests
Closed 8 years ago
Guards not add for certain type of statement
Closed 8 years ago
Use klee_prefer_cex for characters
Updated 8 years ago
Guards cause compilation error for programs with for loops
Closed 8 years ago
Empty trace files
Closed 8 years ago1