TrustInSoft/tis-kernel TrustInSoft/tis-kernel

  • Stars
    star
    25
  • Rank 957,573 (Top 19 %)
  • Language
    OCaml
  • Created over 7 years ago
  • Updated over 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
TrustInSoft/tis-kernel
github

TrustInSoft

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

TIS Kernel, the open-source kernel of TIS Analyzer

More Repositories

1

tis-interpreter

An interpreter for finding subtle bugs in programs written in standard C
OCaml
565
star
2

TrustInSoft

12
star
3

demo-caesar

C
4
star
4

demos

A collection of C/C++ code snippets showing TrustInSoft Analyzer capabilities
HTML
3
star
5

training-examples

C
1
star