kmowery / libfixedtimefixedpoint

Related projects: ⓘ

• rutgers-apl / alive-nj
  Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM
  ☆28Updated 5 years ago
• imdea-software / verifying-constant-time
  ☆34Updated 7 years ago
• vegard / sha1-sat
  SAT instance generator for SHA-1
  ☆47Updated 3 years ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆65Updated 8 years ago
• cacheaudit / cacheaudit
  A Tool for the Static Analysis of Cache Side Channels
  ☆39Updated 7 years ago
• stp / minisat
  A minimalistic and high-performance SAT solver
  ☆25Updated last year
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆38Updated last year
• StanfordPL / strata-data
  Experimental results of the strata project
  ☆9Updated 8 years ago
• agl / ctgrind
  Checking that functions are constant time with Valgrind
  ☆173Updated 7 years ago
• jtcriswell / SVA
  Secure Virtual Architecture
  ☆42Updated 5 years ago
• emeryberger / dthreads
  dthreads: Efficient Deterministic Multithreading
  ☆49Updated 9 years ago
• allvm / allvm-tools
  ALLVM Tools
  ☆55Updated 2 years ago
• 5GenCrypto / obfuscation
  Implementation of cryptographic program obfuscation
  ☆41Updated 6 years ago
• rmmh / whomp
  reverse engineering branch predictors
  ☆17Updated 8 years ago
• MEM-AEAD / mem-aead
  Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction
  ☆27Updated 6 years ago
• travitch / llvm-tools
  A set of tools for visualizing and inspecting LLVM bitcode modules
  ☆30Updated 9 years ago
• project-everest / QUIC-FStar
  An implementation of the IETF QUIC protocol in F*
  ☆18Updated 5 years ago
• quarkslab / llvm-dev-meeting-tutorial-2015
  Material for an LLVM Tutorial presented at LLVM Dev Meeting 2015
  ☆47Updated 7 years ago
• ahorn / smt-kit
  C++11 library for many-sorted logics
  ☆40Updated 7 years ago
• GrammaTech / clang-mutate
  Manipulate C-family ASTs with Clang
  ☆64Updated 5 years ago
• inducer / pycparserext
  Extensions for Eli Bendersky's pycparser
  ☆82Updated last month
• microwalk-project / Microwalk
  A microarchitectural leakage detection framework using dynamic instrumentation.
  ☆65Updated 3 months ago
• luhsra / chash
  CLang Plugin for calculating AST hashes
  ☆14Updated 5 years ago
• BR903 / cppp
  A program for automatically resolving #ifdef statements in C code.
  ☆34Updated last year
• hannob / bignum-fuzz
  Code to fuzz bignum libraries
  ☆45Updated 5 years ago
• dcdelia / tinyvm
  A simple VM to play with OSR in LLVM
  ☆14Updated 7 years ago
• tls13tamarin / TLS13Tamarin
  This is a Tamarin model of TLS 1.3
  ☆31Updated last year
• trailofbits / clang-tidy-audit
  Rewrite C/C++/Obj-C to Annotate Points of Interest
  ☆27Updated 8 years ago
• Sumith1896 / tusSAT
  A SAT solver implementation in VHDL, team tussle
  ☆20Updated 8 years ago