Here are 27 public repositories matching this topic...

klee / klee

Star 1.5k

KLEE Symbolic Execution Engine

symbolic-execution klee

• Updated Aug 10, 2020
• C++

staticafi / symbiotic

Star 195

Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE

llvm verification symbolic-execution instrumentation slice program-verification software-verification klee slicing llvm-ir verification-toolchain program-slicing

• Updated Aug 10, 2020
• Python

julieeen / kleefl

Star 163

Seeding fuzzers with symbolic execution

symbolic-execution fuzzing afl-fuzz klee vulnerability-analysis

• Updated Oct 20, 2017
• Python

feliam / klee-taint

Star 55

KLEE-TAINT - Klee with taint analysis support

llvm symbolic-execution taint-analysis klee

• Updated Oct 23, 2017
• C++

tum-i22 / obfuscation-benchmarks

Star 44

A set of programs used for benchmarking the strength of obfuscation

obfuscation docker-image symbolic-execution benchmarks resilience klee obfuscation-benchmarks symbolic-execution-attacks

• Updated Feb 25, 2018
• C

L4ys / LazyKLEE

Star 42

Lazy python wrapper of KLEE for solving CTF challenges

ctf klee

• Updated Mar 24, 2019
• C

fdiskyou / symbolic-execution

Star 11

Files for http://deniable.org/reversing/symbolic-execution

symbolic-execution fuzzing z3 smt solvers angr sat klee z3-smt-solver z3py

• Updated May 20, 2018
• C

COMSYS / SymbolicLivenessAnalysis

Star 9

Symbolic Liveness Analysis of real-world software building upon KLEE to detect liveness violations (e.g. infinite loop bugs)

symbolic-execution klee symbolic-liveness-analysis

• Updated Sep 4, 2018
• C++

sosy-lab / tbf

Star 6

A framework for using test case generators to locate errors in C programs

testing verification testing-tools klee

• Updated Mar 11, 2019
• OCaml

ppmx / sudoku-solver

Star 6

Sudoku Solver using Z3

solver python3 symbolic-execution sudoku z3 klee symbolic-execution-experiments

• Updated Jan 23, 2020
• C++

anhkgg / angr-doc-zh_CN

Star 6

angr中文版文档

ctf angr klee

• Updated Oct 27, 2018

sdasgup3 / symbolic-analysis

Star 5

Customized symbolic analysis to find pointer analysis bugs

debugger c-plus-plus checker llvm klee pointer-analysis symbolic-analysis

• Updated Nov 2, 2015
• C++

zhechkoz / stins4llvm

Star 5

State Inspection Tool for LLVM

klee integrity-protection llvm-pass

• Updated Aug 19, 2017
• C++

get-focus / deprecated-focus-graph

Star 4

Tools based on Redux to easily integrate forms, validate and manipulate data.

react redux library webpack es6 google-material focus klee

• Updated Mar 3, 2017
• JavaScript

elm3nt / argon-cli

Star 4

An automation tool to generate, obfuscate, compile and run symbolic execution on c source files

docker obfuscation llvm gcc symbolic-execution tigress angr argon klee

• Updated Mar 12, 2020
• Python

hmc-alpaqa / metrinome

Star 3

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

control-flow-graph complexity klee cyclomatic-complexity path-complexity npath

• Updated Aug 11, 2020
• C

get-focus / deprecated-focus-application

Star 2

tools sets needed for the implementation of the basic application functionality: Messages, header, layout, fetch

react redux javascript fetch sass library webpack es6 google-material focus page-layout message-center klee

• Updated Mar 2, 2017
• JavaScript

get-focus / deprecated-focus-search

Star 2

Interfaces and components to easily inject search functionalities in you application.

react redux search sass library webpack es6 google-material focus klee advanced-search

• Updated Mar 30, 2017
• JavaScript

get-focus / deprecated-focus-components-v3

Star 2

A set of atomic web components based on material design to build modern interfaces easily.

react javascript sass library webpack es6 google-material focus klee

• Updated Oct 3, 2017
• JavaScript

sufuf3 / ST2017-hw4-Symbolic_and_Fuzz

Star 1

testing symbolic afl fuzz klee nctu

• Updated Jun 12, 2017
• C++

mull-project / klee-tutorial-two

Star 1

Klee Tutorial Two tests

mutation-testing klee mull

• Updated May 13, 2017
• C++

get-focus / deprecated-focus-tuto-v3

Star 1

Tutorials explaining step by step how to use FOCUS libs.

react redux documentation tutorial focus klee

• Updated Feb 24, 2017
• JavaScript

lihungte96 / mcts-klee

Star 0

KLEE Symbolic Execution Engine

klee nctu sqlab

• Updated Nov 13, 2017
• C++

balajibalasubramaniam / dig

Star 0

virtual-machine sage z3 klee jpf

• Updated Nov 23, 2017

get-focus / deprecated-focus-documentation

Star 0

Documentation about how to use focus-application focus-graph focus-components and focus-search to build single page applications.

react redux documentation es6 focus klee

• Updated Mar 2, 2017
• CSS

arora-aditya / ECE208

Star 0

ECE 208 Bonus Assignment

discrete-mathematics cnf sat klee vertex-cover dpll tseitin-transformation

• Updated Aug 11, 2019
• Jupyter Notebook

sai-teja-ponugoti / Software-Testing-Quality-Assurance-and-Maintenance

Star 0

ECE 653 - testing, Quality Assurance, and Maintenance.This repo holds all material, notes and assignments related to the mentioned course.

testing symbolic-execution symbolic testing-tools afl quality-assurance automated-testing klee dpll concolic-execution afl-fuzzer

• Updated Jul 27, 2020