Hacker GitHub

← All repos

silentbicycle/theft

View on GitHub ↗ ★ 652 C

property-based testing for C: generate input to find obscure bugs, then reduce to minimal failing input

4 mentions on Hacker News by 4 people: 2 stories, 2 comments · first 2014-08-03 · latest 2025-03-12

Mentions per year 4 mentions · busiest year 2014 (1)
20082026
AllStoriesComments NewestTopOldest
  1. …http://klee.github.io (by LLVM) Property-based testing to specify test-cases manually: https://github.com/silentbicycle/theft http://www.quviq.com/products Toolchain docs: https://clang.llvm.org/docs https://gcc.gnu.org/onlinedocs Binutils…
    comment by king_nothing · 2018-06-27 · in Compiler-based security mitigations in Android P
  2. Here's one of those for C: https://github.com/silentbicycle/theft Slides on automated tool below. They use "model-based testing" which is another phrase to get interesting search results. https://www.slideshare.net/dganesan11/ganesan-automa…
    comment by nickpsecurity · 2017-05-08 · in OSS-Fuzz: Five months later, and rewarding projects