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