Alternatives and similar repositories for FAROS:

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

• S2E / libs2eplugins
  S2E plugins library
  ☆17Updated 5 years ago
• fullwaywang / FlowWalker
  FlowWalker is a practical off-line taint analysis framework with high efficiency and low overhead.
  ☆10Updated 10 years ago
• zenhumany / hitcon2015
  Microsoft Edge MemGC Internals
  ☆17Updated 9 years ago
• jrmuizel / kemufuzzer
  Automatically exported from code.google.com/p/kemufuzzer
  ☆27Updated 9 years ago
• S2E / libcpu
  x86 Dynamic Binary Translator Library
  ☆34Updated 4 years ago
• rrbranco / VDT
  Vulnerability Data Tracer - Published at Phrack 67 Article
  ☆15Updated 10 years ago
• S2E / libs2ecore
  S2E Core Engine Library
  ☆15Updated 5 years ago
• IgorKorkin / AllMemPro
  AllMemPro
  ☆43Updated 7 years ago
• 0xddaa / pin
  Use Intel Pin tools to analysis binary.
  ☆36Updated 9 years ago
• kirasys / unicorn-fuzzer
  expansion of afl-unicorn using c++
  ☆28Updated 5 years ago
• long123king / PE-Replay
  This is a pintool that can analyze target dynamically and output code blocks and "key frames".
  ☆15Updated 9 years ago
• ISergey256 / W32Carnage
  Crappy Win32k syscall fuzzer
  ☆13Updated 9 years ago
• jrjr / taint-parade
  taint tracer/analysis pintool
  ☆24Updated 10 years ago
• k33nteam / win32kescape
  ☆15Updated 9 years ago
• RolfRolles / SMTSample
  Course sample for SMT-Based Binary Program Analysis training class
  ☆31Updated 6 years ago
• DownWithUp / CVE-2018-15499
  PoC code for CVE-2018-15499 (exploit race condition for BSoD)
  ☆11Updated 6 years ago
• intelpt / kAFL
  Code for the USENIX 2017 paper: kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels
  ☆12Updated 7 years ago
• rrbranco / kdf
  PoC || GTFO Article Materials on Kernel Double Free
  ☆12Updated 7 years ago
• maninfire / ruimyfuzzer
  ☆14Updated 7 years ago
• progmboy / kernel_vul_poc
  ☆31Updated 7 years ago
• mxmssh / tvc
  The tool for bugs detection in the process of tainted data processing (based on DBI Intel PIN).
  ☆12Updated 9 years ago
• s3team / bincfp
  Efficient Multi-threaded Binary Code Control Flow Profiling Pintool
  ☆22Updated 8 years ago
• ucsb-seclab / sasi
  Signedness-Agnostic Strided-Interval
  ☆35Updated 5 years ago
• HexHive / mitiGate
  Benchmark to test different stop the exploit mitigations
  ☆18Updated 6 years ago
• shun-yo / Spaniel
  Malware analysis tool based on taint analysis.
  ☆14Updated 3 years ago
• almost-real / IDBG
  Allows you to add breakpoints from IDA (from the graph/text view) to WinDbg easily
  ☆14Updated 6 years ago
• RanchoIce / 44Con2018
  Slides of 44Con 2018
  ☆21Updated 6 years ago
• cosine0 / amphitrite
  Symbolic debugging tool using JonathanSalwan/Triton
  ☆25Updated 6 years ago
• rmadair / windbg2ida
  Import debugging traces from WinDBG into IDA. Color the graph, fill in the value of all the operands, etc.
  ☆25Updated 12 years ago
• int0 / pinlog
  API logger plugin for Intel Pintool
  ☆14Updated 7 years ago