14 Commits

This Branch

This Branch

All Branches

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