Pinned Repositories
15316-cmu.github.io
Course website for 15-316
adv_cpluplus_tuto
angulartuto
app_spam_classification
atividades_AnaliseAlgoritmos
Atividades de Análise de Algoritmos por Anny Caroline Walker Silva
depthk
K-Induction adopting program invariants
dotfilesvhb
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 identified error. Such method may be seen as a complementary technique for the verification 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.
Map2Check
Map2Check: Finding Software Vulnerabilities
hbgit's Repositories
hbgit/dotfilesvhb
hbgit/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.
hbgit/15316-cmu.github.io
Course website for 15-316
hbgit/adv_cpluplus_tuto
hbgit/angulartuto
hbgit/benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
hbgit/cmaketuto
cmake Tutorial
hbgit/crab
CoRnucopia of ABstractions: a language-agnostic library for abstract interpretation
hbgit/crab-llvm
Abstract Interpretation of LLVM bitcode
hbgit/dev-llvm_6.0
hbgit/esbmc
The efficient SMT-based bounded model checker
hbgit/FlaskAppTuto
Tutorial Flask App using Docker
hbgit/GetOldTweets-python
A project written in Python to get old tweets, it bypass some limitations of Twitter Official API.
hbgit/hcz-jekyll-blog
A simple material theme for blogger
hbgit/Inception
hbgit/jfortes
JFORTES (Java FORmal unit TESt generation)
hbgit/klee
KLEE Symbolic Virtual Machine - with multithreading support
hbgit/klee-float
KLEE with floating point support
hbgit/klee-uclibc
KLEE's version of uClibc
hbgit/llvm-dsa
LLVM DSA fork for SeaHorn
hbgit/llvm-seahorn
LLVM components that are modified for SeaHorn
hbgit/llvm2smt
Experimental translation of llvm to smt.
hbgit/modelo_website_prismrr
hbgit/sea-dsa
A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
hbgit/seahorn
SeaHorn Verification Framework
hbgit/sv-comp
Information to reproduce results from SV-COMP
hbgit/Treinamento-Ci-ncia-dos-Dados-no-Codebench
Treinamento para lidar com os dados coletados de turmas de introdução à programação no Codebench.