Giters
Frank Busse (251)

251

Geek Repo

17

followers

4

following

326

stars

Company:Imperial College London

Github PK Tool:Github PK Tool

Frank Busse's repositories

klee

KLEE Symbolic Execution Engine

Language:C++License:NOASSERTIONStargazers:1Issues:2Issues:0

251.github.io

Language:HTMLStargazers:0Issues:2Issues:0

angr

The next-generation binary analysis platform from UC Santa Barbara's Seclab!

Language:PythonLicense:BSD-2-ClauseStargazers:0Issues:2Issues:0

bap-bindings

C Bindings to BAP

Language:OCamlLicense:MITStargazers:0Issues:2Issues:0

chromium_decode

dump Chromium passwords

Language:CLicense:MITStargazers:0Issues:2Issues:0

klee-docs

Language:CStargazers:0Issues:0Issues:0

klee-uclibc

klee-uclibc

Language:CLicense:LGPL-2.1Stargazers:0Issues:0Issues:0

klee.github.io

Language:HTMLLicense:NOASSERTIONStargazers:0Issues:2Issues:0

logic_bombs

This repository contains several examples of logic bomb.

Language:CLicense:NOASSERTIONStargazers:0Issues:2Issues:0

manticore

Dynamic binary analysis tool

Language:PythonLicense:Apache-2.0Stargazers:0Issues:2Issues:0

SVF

Static Value-Flow Analysis Framework for Source Code

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

metrinome

Create CFGs and compute complexity metrics for Python, C++, and Java code.

License:GPL-3.0Stargazers:0Issues:0Issues:0

pysymemu

An intel 64 symbolic emulator

Language:PythonLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

python-tabulate

Pretty-print tabular data in Python, a library and a command-line utility. Repository migrated from bitbucket.org/astanin/python-tabulate.

Language:PythonLicense:MITStargazers:0Issues:1Issues:0

remill

Library for lifting of x86, amd64, and aarch64 machine code to LLVM bitcode

Language:C++License:Apache-2.0Stargazers:0Issues:0Issues:0

shaape

Shaape is an ascii art to image converter designed to be used with asciidoc.

Language:PythonLicense:NOASSERTIONStargazers:0Issues:0Issues:0

simuvex

A symbolic execution engine for the VEX IR

Language:PythonLicense:BSD-2-ClauseStargazers:0Issues:2Issues:0

SVF-Teaching

Learning and Teaching Software Analysis and Verification via SVF

Stargazers:0Issues:0Issues:0

symbolic-execution

History of symbolic execution

License:CC-BY-SA-4.0Stargazers:0Issues:2Issues:0