vcl-ut HOLE: de-vacuize L4 SQL-injection predicate + machine-verified model + honest stance#20

hyperpolymath merged 2 commits into

mainhyperpolymath/vcl-ut:mainfrom

fix/vclut-l4-devacuize-honest-stancehyperpolymath/vcl-ut:fix/vclut-l4-devacuize-honest-stanceCopy head branch name to clipboard