Archives

28 Jan 2021	BCOVBench: A benchmark suite for binary analysis research
16 Jun 2020	Visualizing program graphs using bcov
26 May 2020	Function identification in stripped binaries revisited
07 Nov 2017	An introduction to approximate computing
25 May 2017	Undefined behavior in the wild
10 May 2017	Floating-point satisfiability as global optimization
04 May 2017	Building this blog