Alternatives and similar repositories for djenrandom

Users that are interested in djenrandom are comparing it to the libraries listed below

• dspinellis / cqmetrics
  C Quality Metrics
  ☆68Updated 3 years ago
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆51Updated last year
• fraunhoferfokus / acsl-by-example
  Public snapshots of "ACSL by Example"
  ☆121Updated last week
• static-analysis-engineering / CodeHawk-C
  CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)
  ☆32Updated this week
• dj-on-github / sp800_22_tests
  A python implementation of the SP800-22 Rev 1a PRNG test suite.
  ☆167Updated 4 years ago
• ANSSI-FR / x509-parser
  a RTE-free X.509 parser
  ☆64Updated 3 years ago
• Frama-C / Frama-C-snapshot
  Release snapshots of the Frama-C platform for source code analysis
  ☆183Updated 5 years ago
• evdenis / verker
  Linux kernel library functions formally verified.
  ☆52Updated 3 weeks ago
• dyninst / toolchain-origin
  Identifying the compiler family, version and compiler flags that generated a binary
  ☆19Updated 6 years ago
• nimble-code / Cobra
  An interactive (fast) static source code analyzer
  ☆181Updated 3 weeks ago
• AllanBlanchard / tutoriel_wp
  Frama-C and WP tutorial
  ☆69Updated last month
• dsw / oink-stack
  Oink is a collaboration of C++ static analysis tools.
  ☆156Updated 3 years ago
• cacheaudit / cacheaudit
  A Tool for the Static Analysis of Cache Side Channels
  ☆40Updated 8 years ago
• kdudka / predator
  A Shape Analyzer Based on Symbolic Memory Graphs
  ☆78Updated last month
• sahands / simple-sat
  Simple recursive and iterative SAT solver written in Python.
  ☆123Updated 6 years ago
• edwardcrichton / BToolkit
  The BToolkit, a toolkit supporting software development with the B-method.
  ☆37Updated last year
• ashish-gehani / OCCAM
  OCCAM: Object Culling and Concretization for Assurance Maximization
  ☆16Updated 3 years ago
• REMath / mit_16.399
  MIT's abstract interpretation class taught by Cousot
  ☆40Updated 11 years ago
• model-checking / cbmc-viewer
  CBMC Viewer scans the output of CBMC and produces a browsable summary of its findings, making it easy to root cause the issues it finds.
  ☆35Updated this week
• CTSRD-CHERI / cheri-c-programming
  CHERI C/C++ Programming Guide
  ☆40Updated this week
• michael-emmi / ct-fuzz
  ☆11Updated 5 years ago
• agra-uni-bremen / metaSMT
  ☆52Updated 9 years ago
• stephenrkell / libsystrap
  Monitor, rewrite and/or otherwise trap system calls... on Linux/x86{,-64} only, for now.
  ☆66Updated 2 months ago
• stp / minisat
  A minimalistic and high-performance SAT solver
  ☆29Updated 3 years ago
• kuopinghsu / callgraph-gen
  Generating the call graph from elf binary file
  ☆39Updated 2 years ago
• ericpony / z3py-tutorial
  ☆151Updated 2 years ago
• tudinfse / SpecFuzz
  A tool to enable fuzzing for Spectre vulnerabilities
  ☆31Updated 5 years ago
• kmowery / libfixedtimefixedpoint
  A library for doing constant-time fixed-point numeric operations
  ☆26Updated 5 years ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆71Updated 9 years ago
• tamarin-prover / teaching
  Teaching materials related to the Tamarin Prover
  ☆71Updated last year