https://github.com/soptikha2/bachelors-thesis

Bachelor's thesis: developing symbolic execution for Rlang using Chef and S2E
https://github.com/soptikha2/bachelors-thesis

Last synced: about 1 year ago
JSON representation

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

• Host: GitHub
• URL: https://github.com/soptikha2/bachelors-thesis
• Owner: SoptikHa2
• Created: 2023-02-24T11:13:37.000Z (over 3 years ago)
• Default Branch: main
• Last Pushed: 2024-01-13T14:32:14.000Z (over 2 years ago)
• Last Synced: 2025-03-23T22:35:40.247Z (about 1 year ago)
• Language: Dockerfile
• Size: 19.5 KB
• Stars: 5
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
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`.