Skip to content

LilyOSullivan/SymbolicExecutionForCWithParser

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

178 Commits
.vscode
.vscode
 
 
Archived
Archived
 
 
LexYacc
LexYacc
 
 
Prolog
Prolog
 
 
.gitignore
.gitignore
 
 
LICENSE.md
LICENSE.md
 
 
README.md
README.md
 
 
code-review.csv
code-review.csv
 
 

Repository files navigation

SymbolicExecutionForCWithParser

About

A symbolic execution engine in Prolog for C

Topics

kotlin c parsing prolog symbolic-execution antlr4 test-generation clp lex-yacc-parser concolic-testing lex-yacc eclipse-prolog

Resources

Readme

License

MIT license
Activity

Stars

1 star

Watchers

2 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

 
 
 

Contributors

Languages