search

cmu-sei / pharos

Automated static analysis tools for binary programs
Other
1.49k stars 184 forks source link

guessMethodD is broken? #228

Open sei-eschwartz opened 1 year ago

sei-eschwartz commented 1 year ago

guessMethodD is currently broken and will never work. For example, validMethodCallAtOffset(_Insn1, Caller1, Method, _Size1), can only be true if factMethod(Method), which is what the rule is trying to guess.