deki0r / abstractanalysis Goto Github PK
View Code? Open in Web Editor NEWThis project forked from trailofbits/binjascripts
Abstract interpretation using lattices to analyse the possible sign of a variable at any point in a program
License: MIT License