https://github.com/liuzikai/klc3

"KLEE on LC-3," Symbolic Execution Engine for LC-3 Programs
https://github.com/liuzikai/klc3

assembly education lc-3 little-computer-3 symbolic-execution

Last synced: 29 days ago
JSON representation

"KLEE on LC-3," Symbolic Execution Engine for LC-3 Programs

• Host: GitHub
• URL: https://github.com/liuzikai/klc3
• Owner: liuzikai
• License: other
• Created: 2021-08-28T07:00:32.000Z (over 3 years ago)
• Default Branch: klc3
• Last Pushed: 2022-02-28T19:52:13.000Z (almost 3 years ago)
• Last Synced: 2024-11-09T23:19:56.260Z (3 months ago)
• Topics: assembly, education, lc-3, little-computer-3, symbolic-execution
• Language: C++
• Homepage:
• Size: 17.7 MB
• Stars: 2
• Watchers: 0
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project