https://github.com/dslab-epfl/chef-symbex-lua

Lua interpreter modded to support symbolic execution
https://github.com/dslab-epfl/chef-symbex-lua

Last synced: 5 months ago
JSON representation

Lua interpreter modded to support symbolic execution

• Host: GitHub
• URL: https://github.com/dslab-epfl/chef-symbex-lua
• Owner: dslab-epfl
• Created: 2014-02-25T18:44:44.000Z (about 11 years ago)
• Default Branch: master
• Last Pushed: 2015-03-17T18:20:35.000Z (about 10 years ago)
• Last Synced: 2024-08-03T18:15:58.435Z (9 months ago)
• Language: C
• Size: 609 KB
• Stars: 7
• Watchers: 21
• Forks: 3
• Open Issues: 1

Awesome Lists containing this project

• AwesomeInterpreter - chef-symbex-lua