progpilot icon indicating copy to clipboard operation
progpilot copied to clipboard

Published 20 hours ago • verified publisher icon designsecurity

exists a paper on the implemented analysis?

Open MBcom opened this issue 3 years ago • 0 comments

Thank you for the great work. Is there a corresponding paper on the implemented basics, i.e. analysis lattice, transfer functions, soundness, that can be cited?

MBcom avatar Jun 28 '21 13:06 MBcom