Giters
Zhe Chen (drzchen)

drzchen

Geek Repo

9

followers

0

following

1

stars

Github PK Tool:Github PK Tool

Zhe Chen's repositories

drzchen.github.io

Language:HTMLStargazers:0Issues:0Issues:0

movec

Movec: A Tool for the Monitoring and Verification of C Programs

Language:CLicense:NOASSERTIONStargazers:21Issues:0Issues:0

movec-proof

A formal operational semantics of the Smatus approach

Language:HTMLStargazers:0Issues:0Issues:0

movec-benchmarks

The MiBench and SPEC Benchmark Suites

License:NOASSERTIONStargazers:0Issues:0Issues:0

movec-msbench

Movec-MSBench: A Memory Safety Benchmark Suite

Language:CLicense:GPL-3.0Stargazers:3Issues:0Issues:0

monic

Monic: A Monitorability Checker

Stargazers:0Issues:0Issues:0