Customized symbolic analysis to find pointer analysis bugs
-
Updated
Nov 2, 2015 - C++
Customized symbolic analysis to find pointer analysis bugs
tools sets needed for the implementation of the basic application functionality: Messages, header, layout, fetch
A set of atomic web components based on material design to build modern interfaces easily.
Seeding fuzzers with symbolic execution
KLEE-TAINT - Klee with taint analysis support
A set of programs used for benchmarking the strength of obfuscation
A framework for using test case generators to locate errors in C programs
ECE 208 Bonus Assignment
Sudoku Solver using Z3
ECE 653 - testing, Quality Assurance, and Maintenance.This repo holds all material, notes and assignments related to the mentioned course.
Add a description, image, and links to the klee topic page so that developers can more easily learn about it.
To associate your repository with the klee topic, visit your repo's landing page and select "manage topics."