~/talk

adventures in reviewing mountains of code

name:Jon Boyd
links:none on file
slides:none on file

A code review of 2.6 million lines becomes a project: build a parser that produces an abstract syntax tree, link methods into a control‑flow graph, and run state‑space searches to trace sources to sinks. The prototype flags real SQL/XSS/OS‑command risks, needs no compilation, originally takes eight hours on 20k LOC but with parallelized checks processes gigabytes in minutes, and ships as open‑source tooling on GitHub.

AI-written summary · about

  1. 0:00intro
  2. 0:58jons background
  3. 1:32what were going to talk about
  4. 3:54what i tried
  5. 4:34reading line by line
  6. 5:03finding vulnerabilities
  7. 5:48looking for inspiration
  8. 6:06playing a game
  9. 7:11C magic
  10. 8:08C magic fails
  11. 8:30Code parsing
  12. 10:34Abstract syntax trees
  13. 11:33Control flow graph
  14. 12:13Statespace search
  15. 12:50Depthfirst search
  16. 13:30Depthsecond search
  17. 13:56completeness
  18. 14:29AI
  19. 15:03StackTrace
  20. 15:59Live Demo
  21. 16:24Static Code Analysis
  22. 19:46Parallelization
  23. 20:25Native code
  24. 22:52Security Metric
  25. 27:00Unicode Conversion
  26. 28:34Another example
  27. 29:51regression testing
  28. 32:03caveats
  29. 32:28what next
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.