codyze icon indicating copy to clipboard operation
codyze copied to clipboard

Published 20 hours ago • verified publisher icon Fraunhofer-AISEC

Type state analysis for whole programs seems broken

Open fwendland opened this issue 3 years ago • 1 comments

Running a type state analysis using the whole program analysis method, runs for a very long time. I haven't checked whether it terminates eventually. However, I'm assuming there is an infinite loop in the analysis. It may have been caused by an update to the cpg.

Also see: #203

fwendland avatar Jun 15 '21 09:06 fwendland

Do you have an example that hangs/crashes?

oxisto avatar Jul 04 '21 11:07 oxisto