Skip to content

anithag/kleestr

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

82 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

kleestr

Klee with support for string constraints

Repo

The repo is made from several other repos

klee - klee-uclibc metaSMT metaSMT/dependencies

Changes

KLEE is now made to work with Z3. The hope is to get it working with Z3-str