moralismercatus

Christopher Havlicek's repositories

Open source concolic testing tool for binaries

CRETE under development

Language:CNOASSERTION020

Concolic Recursive Execution Testing Environment

Language:CNOASSERTION020

EDK II

Language:C020

Emergency Response Game

Language:JavaScript020

020

Scenario Builder UI for Emergency Response Game

Language:C++020

GUI for creating Emergeny Response Game scenarios

Language:C++020

Knowledge Map - Note Taking Tool

Language:C++MIT020

Personal RC files

Language:Vim ScriptMIT020

Tools to help with Reverse Engineering UEFI-based firmware

Language:CNOASSERTION020