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: 6 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 (over 11 years ago)
• Default Branch: master
• Last Pushed: 2015-03-17T18:20:35.000Z (over 10 years ago)
• Last Synced: 2024-11-17T16:42:57.148Z (about 1 year ago)
• Language: C
• Size: 609 KB
• Stars: 7
• Watchers: 22
• Forks: 3
• Open Issues: 1

Awesome Lists containing this project

• AwesomeInterpreter - chef-symbex-lua