flowingair

> Thank you for your reply. I am analyzing a huge project with codeql.But the result is too bad:codeql is misleading by those bugs and thus useful imformations are blocked...

> Actually, There are codes that exists for no reason.Its no 80s.Java programer wont build the building from ground.We just glue everytings and somehow, it works.There would be dead codes...

Had fix this by removing unnessary codes form below functions: predicate summaryLocalStep(Node pred, Node succ, boolean preservesValue) predicate simpleLocalFlowStep(Node node1, Node node2)

In file ASTree.cpp line 1338 change **curblock = blocks.top();** into **if (!blocks.empty()){curblock = blocks.top();}** will fix this problem. due to unsupport opcodes,this project cannot fully decompile Cpython from version 3.11.