Hacker GitHub

← All repos

trailofbits/deepstate

View on GitHub ↗ ★ 865 Python

A unit test-like interface for fuzzing and symbolic execution

15 mentions on Hacker News by 12 people: 3 stories, 12 comments · first 2018-02-18 · latest 2021-09-09

Mentions per year 15 mentions · busiest year 2018 (7)
20082026
AllStoriesComments NewestTopOldest
  1. …called Mayhem [4]. [1] https://klee.github.io/ (online example: http://klee.doc.ic.ac.uk/ ) [2] https://github.com/trailofbits/deepstate#readme [3] https://forallsecure.com/ [4] https://users.ece.cmu.edu/~aavgerin/papers/mayhem-oakland-12..…
    comment by pag · 2021-09-09 · in Show HN: Symbolica – Try our symbolic code executor in the browser
  2. …executors. That is, DeepState bridges this gap between fuzz testing and property testing. [1] https://github.com/trailofbits/deepstate
    comment by pag · 2021-06-04 · in Go: Fuzzing Is Beta Ready
  3. ▲ 3
    DeepState – common interface to symbolic execution and fuzzing engines
    story by pabs3 · 2021-04-30 · 0 comments
  4. …also DeepState[0], which is quite similar (provides a higher abstraction) for test harnesses [0]: https://github.com/trailofbits/deepstate/
    comment by quangio · 2020-05-23 · in KLEE: A symbolic virtual machine built on top of LLVM
  5. …- Reducers are Fuzzers - https://blog.regehr.org/archives/1284 In terms of software, DeepState ( https://github.com/trailofbits/deepstate ) may be a good place to start for C and C++. Relevant links: - Fuzzing an API with DeepState:…
    comment by matt_d · 2019-08-29 · in Write Fuzzable Code
  6. …Consider DeepState for a more development-focused workflow, akin to writing unit tests: https://github.com/trailofbits/deepstate
    comment by server_bot · 2019-08-29 · in Write Fuzzable Code
  7. …! There is also this nice of a 'pluggable test environment' (deepstate from Trail of Bits https://github.com/trailofbits/deepstate ) that allows to switch between hand-written unit tests, fuzzers, and symbolic execution (letting you decide…
    comment by touisteur · 2019-05-21 · in A Survey of Symbolic Execution Techniques (2018)
  8. …testing. There are some really awesome hybrid testing tools out there, such as DeepState ( https://github.com/trailofbits/deepstate ) which combines Symbolic Execution and Fuzzing behind one clean interface, and we'd really like to push…
    comment by evmunro · 2019-02-27 · in Launch HN: Fuzzbuzz (YC W19) – Fuzzing as a Service
  9. …and really brings these software security tools into a more developer-centric workflow. [1] https://github.com/trailofbits/deepstate [2] http://www.petergoodman.me/docs/secdev-2018-slides.pdf
    comment by k4st · 2018-11-05 · in Generating Software Tests: Breaking Software for Fun and Profit
  10. Check out DeepState! https://github.com/trailofbits/deepstate
    comment by pag · 2018-09-30 · in A cache invalidation bug in Linux memory management
  11. …programmer and can't imagine how Angr could fit into your workflow, then check out DeepState ( https://github.com/trailofbits/deepstate ). It is a Google Test-compatible unit testing framework that lets you write parameterized unit tests,…
    comment by pag · 2018-05-20 · in Angr – User-friendly binary analysis platform
  12. Have you checked out DeepState ( https://github.com/trailofbits/deepstate ), it's a symbolic unit testing framework that has an interface similar to google test.
    comment by withzombies · 2018-04-17 · in KLEE LLVM Execution Engine
  13. …easily using symbolic execution in C/C++ apps. It's still very early on but it's already usable! https://github.com/trailofbits/deepstate
    comment by dguido · 2018-03-08 · in Symbolic Execution: Intuition and Implementation
  14. ▲ 2
    DeepState augments C/C++ test-driven development with symbolic execution
    story by fanf2 · 2018-02-19 · 0 comments
  15. ▲ 1
    DeepState: Symbolic Unit Testing for C and C++
    story by galapago · 2018-02-18 · 0 comments