Tomasz Kuchta's repositories
klee
KLEE Symbolic Execution Engine
Language:C++NOASSERTION000
auto_off_target
AoT is a system for automatically generating off-target test harness by using build information.
Language:PythonApache-2.0000
CAS
Code Aware Services (CAS) is a set of tools for extracting information from a (especially large) source code trees. It consists of Build Awareness Service (BAS) and Function/Type database (FTDB). BAS is a tool for extracting information how particular S/W image is created from ongoing builds. FTDB transforms predefined source code information (like information about functions and types) into easily accessible format (like JSON) which can be used by a number of applications.
NOASSERTION000