Python: Add exception, reachability, and other kinds of modelling#21668

tausbn wants to merge 7 commits into

maingithub/codeql:mainfrom

tausbn/python-port-shared-infrastructuregithub/codeql:tausbn/python-port-shared-infrastructureCopy head branch name to clipboard