issues
search
TysonAndre
/
phan
Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.
Other
0
stars
0
forks
source link
Look into mutation testing for catching bugs
#199
Open
TysonAndre
opened
6 years ago
TysonAndre
commented
6 years ago
https://github.com/infection/infection
https://github.com/infection/infection