ulyantsev / EFSM-tools
Tools for extended finite-state machine synthesis and testing
☆19Updated last year
Alternatives and similar repositories for EFSM-tools
Users that are interested in EFSM-tools are comparing it to the libraries listed below
Sorting:
- C Code Source Metrics - tool to gather simple metrics from C code☆37Updated last year
- KLEEF Symbolic Execution Engine☆18Updated last week
- Program dependence graph in LLVM☆35Updated 10 months ago
- Pyc-cfg is a pure python control flow graph builder for almost all Ansi C programming language.☆53Updated 7 years ago
- ☆18Updated 5 months ago
- Mutation-based implementation of a random equivalence testing strategy for active automata learning☆15Updated 6 years ago
- A unification-based alias analysis and related tools☆33Updated 7 months ago
- static analysis benchmarks from Toyota ITC☆113Updated 2 years ago
- Toolset to do differential testing on the Clang Static Analyzer☆21Updated 2 years ago
- JKind - An infinite-state model checker for safety properties in Lustre☆53Updated 3 months ago
- A Hybrid Verification Tool for Finding Software Vulnerabilities in IoT Cryptographic Protocols☆16Updated last year
- CoreSight trace stream decoder developed openly☆157Updated 2 months ago
- A set of benchmarks chosen to show the energy consumption of embedded devices under different conditions☆64Updated 2 years ago
- Generating the call graph from elf binary file☆36Updated 2 years ago
- KTH's Timed C compiler☆19Updated 3 years ago
- RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.☆47Updated 3 years ago
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 3 years ago
- CREST is a concolic test generation tool for C.☆161Updated 4 years ago
- DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be rep…☆21Updated 4 years ago
- code coverage for c☆40Updated 7 years ago
- A tool for testing SMT solvers for incompleteness bugs☆15Updated 2 years ago
- A mutation tool for source and IR☆13Updated 6 years ago
- Collection of Verification Tasks (MOVED, please follow the link)☆184Updated 3 years ago
- MISRA C:2012 and MISRA C++:2008 compliance checkers for clang-tidy☆165Updated 6 years ago
- A model checker for infinite-state systems.☆75Updated 4 months ago
- A pass that can generate PDG(in *.dot) for LLVM.☆36Updated 8 years ago
- Static Analyzer and Verifier☆47Updated 7 months ago
- KLEE's version of uClibc☆52Updated 11 months ago
- Apron Numerical Abstract Domain Library☆125Updated last month
- Semantic program repair system for C programs☆100Updated 2 years ago