Alternatives and similar repositories for AASPE:

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

• cmu-sei / cmu-sei.github.io
  SEI GitHub landing page.
  ☆12Updated 4 months ago
• ge-high-assurance / VERDICT
  DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…
  ☆41Updated 7 months ago
• smaccm / smaccm
  ☆33Updated 5 years ago
• typetools / sparta
  Static Program Analysis for Reliable Trusted Apps
  ☆23Updated 6 years ago
• octopus-platform / octopus
  Generic server for collaborative code analysis
  ☆13Updated 8 years ago
• secdev / scapytain
  Scapytain is a web application that enables you to store, organise and run test campaigns on top of Scapy.
  ☆19Updated 6 years ago
• BadgeWiz / TR16Badge
  ☆13Updated 7 years ago
• vusec / safeinit
  SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017
  ☆24Updated 3 years ago
• emsec / SCATools
  Open tools for side-channel analysis and related techniques. Currently, this repository contains: 1) A near-field EM probe amplifier circ…
  ☆36Updated 10 years ago
• google / openssl-tests
  Running BoringSSL tests against OpenSSL
  ☆14Updated 3 years ago
• hotelzululima / insight
  A(nother) Binary Analysis Framework
  ☆30Updated 10 years ago
• argp / bap
  Binary Analysis Platform -- I will try to keep this updated with patches, fixes, etc.
  ☆33Updated 10 years ago
• smtlib / jSMTLIB
  jSMTLIB is an open source implementation of SMT-LIB in Java, as a command-line tool, an Eclipse plugin, and an API, with interfaces to ma…
  ☆26Updated 2 years ago
• nradov / abnffuzzer
  Java fuzz testing library for implementations of ABNF rules such as IETF RFCs
  ☆33Updated 6 months ago
• mit-ll / LO-PHI
  Low-Observable Physical Host Instrumentation: A suite of tools supporting introspection and semantic gap reconstruction for both physical…
  ☆29Updated 8 years ago
• usbarmory / mxc-scc2
  NXP Security Controller (SCCv2) - Linux driver
  ☆19Updated 2 months ago
• ShiftLeftSecurity / fuzzyc2cpg
  A fuzzy parser for C/C++ that creates semantic code property graphs
  ☆36Updated 4 years ago
• USC-NSL / SPA
  Systematic Protocol Analysis Project
  ☆11Updated 7 years ago
• zxsecurity / NMEAdesync
  A tool which allows an attacker to change the time on a GPS-enabled NTP server by using spoofed NEMA sentences
  ☆24Updated 7 years ago
• iagox86 / dnsmasq-fuzzing
  ☆24Updated 9 years ago
• mechaphish / cgrex
  Targeted patcher for CGC binaries. CGrex was used only during the CGC qualifier event, and is OBSOLETE. For the CFE, we used patcherex (g…
  ☆14Updated 8 years ago
• allanmatthew / 80211p_raw
  Raw socket utilities for 802.11p transmission
  ☆9Updated 9 years ago
• hugsy / codebro
  Web based code browser using clang to provide basic code analysis.
  ☆44Updated 7 years ago
• cve-search / CVE-Search-MT
  CVE-Search Management Tools - Tools that might be useful for management purposes
  ☆21Updated 9 years ago
• cmu-sei / vtunnel
  vTunnel is a tool that proxies IP traffic between guest and host networks by using the VSOCK protocol.
  ☆19Updated last year
• isec-tugraz / flecc_in_c
  FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C
  ☆18Updated 7 years ago
• agl / nullok
  Scripts that I used to write a blog post about section 7.24.1(2) of C11
  ☆11Updated 8 years ago
• openwall / john-tests
  Test Suite for John the Ripper
  ☆24Updated 3 years ago
• AonCyberLabs / Fizzer
  Fizzer is an assessment tool for fuzzing FIX messages.
  ☆28Updated 3 years ago
• ge-high-assurance / RACK
  DARPA's Automated Rapid Certification of Software (ARCOS) project called Rapid Assurance Curation Kit (RACK)
  ☆20Updated last month