Paul Butcher's repositories
AdasMasterMind
Version of the classic Master Mind game written in Ada
000
Language:AdaGPL-3.0000
AFLplusplus
afl++ is afl with community patches, AFLfast power schedules, qemu 3.1 upgrade + laf-intel support, MOpt mutators, InsTrim instrumentation, unicorn_mode, Redqueen and a lot more!
Apache-2.0000
klee
KLEE Symbolic Execution Engine
NOASSERTION000
awesome-readme
A curated list of awesome READMEs
000
sonarqube
Continuous Inspection
Language:JavaLGPL-3.0000