https://github.com/TrustInSoft/tis-interpreter

An interpreter for finding subtle bugs in programs written in standard C
https://github.com/TrustInSoft/tis-interpreter

Last synced: 3 months ago
JSON representation

An interpreter for finding subtle bugs in programs written in standard C

• Host: GitHub
• URL: https://github.com/TrustInSoft/tis-interpreter
• Owner: TrustInSoft
• Created: 2016-03-24T14:18:16.000Z (almost 9 years ago)
• Default Branch: master
• Last Pushed: 2016-12-14T10:26:05.000Z (about 8 years ago)
• Last Synced: 2024-05-03T00:52:52.582Z (8 months ago)
• Language: OCaml
• Size: 3.89 MB
• Stars: 563
• Watchers: 35
• Forks: 29
• Open Issues: 107
• Metadata Files:
  • Readme: README.md
  • License: licenses/GPLv2

Awesome Lists containing this project

• dynamic-analysis - tis-interpreter