Continuing with our exploration of reachability graphs, the graph below shows another very interesting bug in Chrome’s PDF viewer.
The beauty of reachability graphs is that it is remarkably easy to follow the abstract states to recreate bugs, and it is impossible to make mistakes in doing so.
Go ahead and follow the abstract states to recreate the bug!
The images below show an example of the bug when following the reachability graph above.
Step 1: search for any string in any PDF viewed via Chrome.
Step 2: remove the head character of the string.
Step 3: re-add the head character to the string.
As you can see, the images show what happens at a very high-level with a specific example. However, as opposed to images and common bug reports, reachability graphs give so much more information than traditional bug reporting methods, and they do so in a more concise manner.