blog.regehr.org: 60 stories from 29 submitters

  1. 12
    Use of Assertions (2014) debugging programming blog.regehr.org
    hwayne avatar via hwayne 6 months ago |
    Archive.org Archive.today Ghostarchive
    | 8 comments
  2. 5
    Formal-Methods-Based Bugfinding for LLVM's AArch64 Backend compilers formalmethods blog.regehr.org
    fcambus avatar via fcambus 9 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  3. 7
    A Guide to Undefined Behavior in C and C++ c c++ blog.regehr.org
    inactive-user avatar via inactive-user 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  4. 21
    Explaining Code using ASCII Art (2019) programming blog.regehr.org
    bshanks avatar via bshanks 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  5. 11
    Responsible and Effective Bugfinding programming blog.regehr.org
    GeoffWozniak avatar via GeoffWozniak 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  6. 23
    The Saturation Effect in Fuzzing compilers blog.regehr.org
    glacambre avatar via glacambre 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  7. 4
    Verifying Popcount formalmethods blog.regehr.org
    hwayne avatar via hwayne 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  8. 3
    Precision Opportunities for Demanded Bits in LLVM compilers blog.regehr.org
    calvin avatar via calvin 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  9. 5
    Levels of Fuzzing programming testing blog.regehr.org
    hyperpape avatar via hyperpape 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  10. 6
    Helping Generative Fuzzers Avoid Looking Only Where the Light is Good, Part 1 programming testing blog.regehr.org
    hyperpape avatar via hyperpape 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  11. 5
    Margin in Software Systems (2010) practices blog.regehr.org
    hwayne avatar via hwayne 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  12. 26
    Write Fuzzable Code formalmethods blog.regehr.org
    GeoffWozniak avatar via GeoffWozniak 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 13 comments
  13. 1
    Race Condition vs. Data Race (2011) programming security blog.regehr.org
    cujanovic avatar via cujanovic 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  14. 9
    Design and Evolution of C-Reduce (Part 1) programming testing blog.regehr.org
    hyperpape avatar via hyperpape 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  15. 29
    It’s Time for a Modern Synthesis Kernel osdev blog.regehr.org
    mjn avatar via mjn 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments
  16. 26
    Verifying Popcount formalmethods programming blog.regehr.org
    hyperpape avatar via hyperpape 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  17. 2
    Fun With Saturating Arithmetic (2010) education performance blog.regehr.org
    icefox avatar via icefox 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  18. 22
    Explaining Code using ASCII Art programming blog.regehr.org
    pushcx avatar via pushcx 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments
  19. 28
    Operant Conditioning by Software Bugs programming testing blog.regehr.org
    nickpsecurity avatar via nickpsecurity 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments
  20. 5
    Synthesizable Constants assembly formalmethods blog.regehr.org
    nickpsecurity avatar via nickpsecurity 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  21. 9
    What’s the difference between an integer and a pointer? c blog.regehr.org
    GeoffWozniak avatar via GeoffWozniak 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  22. 16
    How LLVM Optimizes a Function compilers blog.regehr.org
    GeoffWozniak avatar via GeoffWozniak 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  23. 6
    How Clang Compiles a Function compilers blog.regehr.org
    calvin avatar via calvin 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  24. 6
    A Guide to Undefined Behavior in C and C++, Part 1 – Embedded in Academia c c++ blog.regehr.org
    bowyakka avatar via bowyakka 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  25. 9
    The Basic Toolbox compsci education blog.regehr.org
    hwayne avatar via hwayne 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
Page 2 >>