Beast code in Giters

Caroline Lemieux's starred repositories

Efficient techniques for mining LTL formulae over linear input traces

Language:C++NOASSERTION1900

JQF + Zest: Coverage-guided semantic fuzzing for Java.

Language:JavaBSD-2-Clause63900

SymCC: efficient compiler-based symbolic execution

Language:C++GPL-3.076000

☕ GDBFrontend is an easy, flexible and extensible gui debugger. Try it on https://debugme.dev

Language:JavaScriptGPL-3.0278300

An LLVM sanitizer tutorial

Language:C++19000

RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.

Language:JavaBSD-2-Clause4300

Travioli: A Dynamic Analysis for Detecting Data-Structure Traversals

Language:Python900