Name	Name	Last commit message	Last commit date
Latest commit ivg updates more plugins to the latest version of OCaml and Core Nov 20, 2020 2e9aa5c · Nov 20, 2020 History 263 Commits
callstrings	callstrings	updates callstrings	Nov 20, 2020
check-invariants	check-invariants	adds a new check-invariants pass	Nov 20, 2020
checkpath	checkpath	updates checkpath	Nov 20, 2020
deadcode	deadcode	updated code base (#28 )	Feb 28, 2019
fold_consts	fold_consts	updated code base (#28 )	Feb 28, 2019
lifting-benchmark	lifting-benchmark	updates more plugins to the latest version of OCaml and Core	Nov 20, 2020
mem-printer	mem-printer	updated code base (#28 )	Feb 28, 2019
minos	minos	updates more plugins to the latest version of OCaml and Core	Nov 20, 2020
saluki	saluki	updates saluki to core v0.14	Nov 20, 2020
staticstore	staticstore	updates more plugins to the latest version of OCaml and Core	Nov 20, 2020
strings	strings	updates more plugins to the latest version of OCaml and Core	Nov 20, 2020
test-expect	test-expect	updates the test-expect framework	Nov 20, 2020
toy-debugger	toy-debugger	updates more plugins to the latest version of OCaml and Core	Nov 20, 2020
uaf-checker	uaf-checker	updates more plugins to the latest version of OCaml and Core	Nov 20, 2020
validate_cfg	validate_cfg	updated code base (#28 )	Feb 28, 2019
.gitignore	.gitignore	Fixed coverage computation in quarantine	Mar 9, 2016
.merlin	.merlin	Quarantine: Added commandline interface	Mar 15, 2016
LICENSE	LICENSE	Initial commit	Mar 30, 2015
README.md	README.md	Added Gitter badge	Apr 22, 2015

Repository files navigation

bap-plugins

BAP Plugins Repository