Pinned Repositories
fldlib
An instrumentation library for the analysis of floating-point accuracy with affine forms
chariot-firmware-meta-data
utility tools = add/extract meta-data in firmware for elf,bin,hex formats
chariot-formal-contract-checker
python component of chariot-security-engine = check formal contracts over binary firmware + support Security Static Analyses with Syntactic Rules written in Python
chariot-formal-decoder-mips
Dynamic library as a component of chariot-formal-contract-checker and chariot-formal-debug = decoder of MIPS instructions and translation into semantic actions
chariot-semantic-domains
dynamic library as component of chariot-formal-contract-checker = logic domains that enable to check contracts over binary firmware
chromatic
fvedrine's Repositories
fvedrine/fldlib
An instrumentation library for the analysis of floating-point accuracy with affine forms