Commit Graph

  • 58ada19f52 Added split pages to cfg.pdf master Michael Hohn 2022-03-15 11:42:09 -07:00
  • 2ee15c9dca Update README Michael Hohn 2022-03-07 10:00:29 -08:00
  • 9e8345152e Add svg rendering of CFG Michael Hohn 2022-03-07 09:33:37 -08:00
  • 1b8412ca1d Produce two-color CFG using pure codeql, remove external Python hacks Michael Hohn 2022-03-05 21:45:03 -08:00
  • 1e8971afab Add a two-color CFG to illustrate the branches following the first for-loop Michael Hohn 2022-03-05 18:07:10 -08:00
  • 182f7794a6 Compact findings from argv-out-of-bounds-1 in -2, update README Michael Hohn 2022-03-04 12:43:55 -08:00
  • 3660be0eeb Refined argv-out-of-bounds-1 to precise result set Michael Hohn 2022-03-04 12:11:05 -08:00
  • bc6b32c4c8 Add full CFG of pkexec's main() function, in pdf format Michael Hohn 2022-03-03 22:12:20 -08:00
  • e687f55643 Scripts and setup to print the IR graph Michael Hohn 2022-03-03 19:21:46 -08:00
  • ae4e677dec argv-out-of-bounds-1.ql: ssa query identifying the out-of-bound access Michael Hohn 2022-03-03 19:19:12 -08:00
  • 010254d3d4 Preliminary query to isolate relevant parts of the source code Michael Hohn 2022-03-02 11:20:06 -08:00
  • 3234ed1644 Add codeql databases to db/ tree via git lfs Michael Hohn 2022-02-15 16:14:52 -08:00
  • 6895d36d12 Add WIP note Michael Hohn 2022-02-14 14:16:25 -08:00
  • f3a4b6cd36 initial commit: build code and codeql db using Docker Michael Hohn 2022-02-14 14:07:35 -08:00