aytey

aytey's Stars

• NationalSecurityAgency/ghidra

  Ghidra is a software reverse engineering (SRE) framework

  Language:Java60.6k1.1k5.6k6.7k

• klee/klee

  KLEE Symbolic Execution Engine

  Language:C++2.8k108609700

• CodeIntelligenceTesting/jazzer

  Coverage-guided, in-process fuzzing for the JVM

  Language:Java1.2k24157162

• msoos/cryptominisat

  An advanced SAT solver

  Language:C++87928625195

• microsoft/infersharp

  Infer# is an interprocedural and scalable static code analyzer for C#. Via the capabilities of Facebook's Infer, this tool detects null dereferences, resource leaks, and thread-safety violations. It also performs taint flow tracking to detect critical security vulnerabilities like SQL injections.

  Language:C#745238028

• GaloisInc/crucible

  Crucible is a library for symbolic simulation of imperative programs

  Language:Haskell7433850546

• ltcmelo/psychec

  A compiler frontend for the C programming language

  Language:C++550164340

• Boolector/boolector

  A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.

  Language:SMT3511315768

• bitwuzla/bitwuzla

  Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name is derived from an Austrian dialect expression that can be translated as “someone who tinkers with bits”.

  Language:SMT2801211543

• seahorn/crab

  A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.

  Language:C++244114133

• arminbiere/lingeling

  Lingeling SAT Solver

  Language:C1009429

• Boolector/btor2tools

  A generic parser and tool package for the BTOR2 format.

  Language:C4081125

• AndreyG/ifc-reader

  Language:C++124154

• bitwuzla/bitwuzla.github.io

  https://bitwuzla.github.io

  Language:CSS1502