Alternatives and similar repositories for AASPE

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

• vusec / safeinit
  SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017
  ☆26Updated 4 years ago
• USC-NSL / SPA
  Systematic Protocol Analysis Project
  ☆11Updated 8 years ago
• mit-ll / LO-PHI
  Low-Observable Physical Host Instrumentation: A suite of tools supporting introspection and semantic gap reconstruction for both physical…
  ☆30Updated 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 7 years ago
• hotelzululima / insight
  A(nother) Binary Analysis Framework
  ☆30Updated 11 years ago
• tracer-x / TRACER
  TRACER Symbolic Execution Tool
  ☆28Updated 5 years ago
• typetools / sparta
  Static Program Analysis for Reliable Trusted Apps
  ☆23Updated 6 years ago
• ge-high-assurance / VERDICT
  DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…
  ☆42Updated 10 months ago
• octopus-platform / octopus
  Generic server for collaborative code analysis
  ☆13Updated 8 years ago
• BadgeWiz / TR16Badge
  ☆13Updated 7 years ago
• mfthomps / Visualization-of-Software-Execution
  Tools created for the DARPA Cyber Grand Challenge that visualize software execution based on traces generated by the CGC Monitor and a Un…
  ☆14Updated 7 years ago
• vusec / typesan
  TypeSan checks casts in C++ code - code released for CCS 2016
  ☆35Updated 4 years ago
• polyverse / EnVisen
  ROP gadget finder and analysis in pure Javascript
  ☆29Updated 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
• HVLearn / HVLearn
  A tool/framework for analyzing hostname verification in SSL/TLS implementations using automata learning
  ☆21Updated 8 years ago
• hbowden / nextgen
  A Genetic File, Syscall and Network Fuzzer.
  ☆58Updated 8 years ago
• securitytribe / kernel_scan
  Linux kernel modules used to enumerate devices various buses
  ☆11Updated 8 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
  ☆25Updated 8 years ago
• iagox86 / dnsmasq-fuzzing
  ☆24Updated 9 years ago
• binarybird / Redress-Disassembler
  Redress Dissassembler is a cross platform binary disassembler written in Java with Capstone bindings
  ☆24Updated 9 years ago
• newaetech / chipwhisperer-lint
  ChipWhisperer-Lint is an open source implementation of our automated leakage detection tool.
  ☆17Updated 6 years ago
• argp / bap
  Binary Analysis Platform -- I will try to keep this updated with patches, fixes, etc.
  ☆33Updated 10 years ago
• cmu-sei / cmu-sei.github.io
  SEI GitHub landing page.
  ☆13Updated 6 months ago
• ts-way / PassiveNetwork
  A graphical multiplatform tool to manipulate and forward TCP connections.
  ☆12Updated 13 years ago
• trailofbits / screen
  Measure branching along code paths
  ☆20Updated 8 years ago
• NullHypothesis / trnnr
  Tor relay nearest neighbour ranking
  ☆10Updated 3 years ago
• ShiftLeftSecurity / fuzzyc2cpg
  A fuzzy parser for C/C++ that creates semantic code property graphs
  ☆36Updated 4 years ago
• ouspg / cloudfuzzer
  ☆22Updated 8 years ago
• isec-tugraz / flecc_in_c
  FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C
  ☆18Updated 7 years ago
• horia141 / sdhash
  Python library for image hashing and deduplication
  ☆11Updated 9 years ago