Discover @hbgit Open Source projects

Herbert (@hbgit)

hbgit

Stars
39
Global Rank 406,458 (Top 15 %)
Followers 55
Following 4
Registered over 12 years ago
Most used languages

Perl
40.0 %

SWIG 20.0 %

Python
20.0 %

Vim Script
20.0 %
Location 🇧🇷 Brazil
Country Total Rank 9,430
Country Ranking

SWIG 2

Perl
81

Vim Script
601

Python
3,544

Map2Check

Map2Check: Finding Software Vulnerabilities

depthk

K-Induction adopting program invariants

EZProofC

This tool aims to automate the method proposed aims to automate the collection and manipulation of counterexamples in order to instantiate a C program for proving the root cause of the identiﬁed error. Such method may be seen as a complementary technique for the veriﬁcation performed by Bounded Model Checkers.

FORTES

This tool aims to automate the FORTES method that aims to automate to extract the safety properties from C code generated by ESBMC to generate automatically testcases using the assertions, in this case adopting the CUnit Framework Unit Test.

dotfilesvhb