chubbymaggie/SurveyMan
SurveyMan is a programming language and runtime system for designing, debugging, and automatically deploying repeatable surveys on the web at scale.
LLFI is an LLVM based fault injection tool, that injects faults into the LLVM IR of the application source code. The faults can be injected into specific program points, and the effect can be easily tracked back to the source code. Please refer to paper below for more details:
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
SurveyMan is a programming language and runtime system for designing, debugging, and automatically deploying repeatable surveys on the web at scale.
dr.rer.oec.gadget IDAPython plugin for the Interactive Disassembler
property-based testing for C
papers I am working on / have submitted. see my website ->