https://github.com/jboillot/analyser

Analyser is a static analyser which finds errors and undefinded behaviors in C programs with inline assembly.
https://github.com/jboillot/analyser

c inline-assembly ocaml-program static-analyzer

Last synced: about 1 month ago
JSON representation

Analyser is a static analyser which finds errors and undefinded behaviors in C programs with inline assembly.

• Host: GitHub
• URL: https://github.com/jboillot/analyser
• Owner: jboillot
• License: mit
• Created: 2019-07-15T17:53:15.000Z (over 5 years ago)
• Default Branch: master
• Last Pushed: 2019-08-08T20:57:21.000Z (over 5 years ago)
• Last Synced: 2024-10-14T04:22:30.526Z (2 months ago)
• Topics: c, inline-assembly, ocaml-program, static-analyzer
• Language: OCaml
• Homepage: https://jboillot.github.io/analyser/
• Size: 110 KB
• Stars: 1
• Watchers: 2
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project