Clang plugin which fills structure pads to provoke buffer overflow errors
-
Updated
May 15, 2017 - C++
Clang plugin which fills structure pads to provoke buffer overflow errors
An attempt at runtime verification of Ethereum smart contracts.
Convert LTL formulas into finite-state automata for monitoring
Case study in monitoring a Solidity smart contract with a deontic logic specification language.
The bench is the main repo for projects that need pass/no pass calibration testing. It takes a physical inventory of script properties to determine if a build is possible.
A pure Python package to monitor formal specifications over temporal sequences
A code generator from high-level formal specifications for monitoring and pattern matching sequential/temporal data.
Proof-of-concept tool for checking signal handlers for reentrancy issues.
Pastime LTL for runtime verification.
a solidity runtime verification tool based on LTL.
Rewriting Algorithm for Time Window Temporal Logic
Run time assertions with panics for Go
Release snapshots of the Frama-C platform for source code analysis
A lightweight runtime verification tool for Erlang programs
A repo containing basic examples on usage of the arccore.Filter library.
Useful patterns on advanced usage of the arccore.Filter library.
(DEPRECATED) Front-end of Copilot defining the user language.
(DEPRECATED) Intermediate representation for Copilot.
RVPlan: Runtime Verification of Assumptions in Automated Planning
A simple 5-minute checker which simulates OOM failures by returning NULL from malloc
Add a description, image, and links to the runtime-verification topic page so that developers can more easily learn about it.
To associate your repository with the runtime-verification topic, visit your repo's landing page and select "manage topics."