Skip to content

Bachelor's thesis: developing symbolic execution for Rlang using Chef and S2E

Notifications You must be signed in to change notification settings

SoptikHa2/bachelors-thesis

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

12 Commits
 
 
 
 
 
 
 
 

Repository files navigation

CAUTION!! THIS IS WORK IN PROGRESS! FINAL RESULT WILL NOT LOOK LIKE THIS.

File notes/Getting chef to run.md describes the effort to build and run original dslab's chef.

File notes/Nextgen chef.md describes porting Chef to new S2E version.

Built images for original chef can be downloaded at [TBA]

Docker image for nextgen chef is available in docker-image.

About

Bachelor's thesis: developing symbolic execution for Rlang using Chef and S2E

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published