
engineering.backtrace.io/2020-03-11-how-hard-is-it-to-guide-test-case-generators-with-branch-coverage-feedback
Preview meta tags from the engineering.backtrace.io website.
Linked Hostnames
18- 14 links togist.github.com
- 8 links togithub.com
- 8 links tohypothesis.readthedocs.io
- 2 links tobacktrace.io
- 2 links toen.wikipedia.org
- 2 links toengineering.backtrace.io
- 1 link tocffi.readthedocs.io
- 1 link tocve.mitre.org
Search Engine Appearance
How hard is it to guide test case generators with branch coverage feedback?
To make a long story short, it’s almost easy, now that tracing is available on commodity hardware, especially with a small library to handle platform-specific setup. Here’s a graph of the empirical distribution functions for the number of calls into OpenSSL 1.0.1f it takes for Hypothesis to find Heartbleed, given a description of the format for Heartbeat requests (“grammar”), and the same with additional branch coverage feedback (“bts”, for Intel Branch Trace Store).
Bing
How hard is it to guide test case generators with branch coverage feedback?
To make a long story short, it’s almost easy, now that tracing is available on commodity hardware, especially with a small library to handle platform-specific setup. Here’s a graph of the empirical distribution functions for the number of calls into OpenSSL 1.0.1f it takes for Hypothesis to find Heartbleed, given a description of the format for Heartbeat requests (“grammar”), and the same with additional branch coverage feedback (“bts”, for Intel Branch Trace Store).
DuckDuckGo

How hard is it to guide test case generators with branch coverage feedback?
To make a long story short, it’s almost easy, now that tracing is available on commodity hardware, especially with a small library to handle platform-specific setup. Here’s a graph of the empirical distribution functions for the number of calls into OpenSSL 1.0.1f it takes for Hypothesis to find Heartbleed, given a description of the format for Heartbeat requests (“grammar”), and the same with additional branch coverage feedback (“bts”, for Intel Branch Trace Store).
General Meta Tags
9- titleHow hard is it to guide test case generators with branch coverage feedback? - Backtrace Engineering
- charsetutf-8
- x-ua-compatibleIE=edge
- viewportwidth=device-width,initial-scale=1,shrink-to-fit=no
- descriptionTo make a long story short, it’s almost easy, now that tracing is available on commodity hardware, especially with a small library to handle platform-specific setup. Here’s a graph of the empirical distribution functions for the number of calls into OpenSSL 1.0.1f it takes for Hypothesis to find Heartbleed, given a description of the format for Heartbeat requests (“grammar”), and the same with additional branch coverage feedback (“bts”, for Intel Branch Trace Store).
Open Graph Meta Tags
5- og:titleHow hard is it to guide test case generators with branch coverage feedback?
- og:descriptionTo make a long story short, it’s almost easy, now that tracing is available on commodity hardware, especially with a small library to handle platform-specific setup. Here’s a graph of the empirical distribution functions for the number of calls into OpenSSL 1.0.1f it takes for Hypothesis to find Heartbleed, given a description of the format for Heartbeat requests (“grammar”), and the same with additional branch coverage feedback (“bts”, for Intel Branch Trace Store).
- og:typearticle
- og:url/2020-03-11-how-hard-is-it-to-guide-test-case-generators-with-branch-coverage-feedback/
- og:site_nameBacktrace Engineering
Link Tags
6- apple-touch-icon/apple-touch-icon.png
- icon/favicon.ico
- stylesheet/an-old-hope.min.css
- stylesheet/style.css
- stylesheet/custom.css
Links
48- http://lcamtuf.coredump.cx/afl
- http://proper.softlab.ntua.gr/Publications.html
- https://backtrace.io
- https://backtrace.io/careers
- https://cffi.readthedocs.io/en/latest