MLIL soundness issue with return value determination

Vector35 / binaryninja-api

Public API, examples, documentation and issues for Binary Ninja

https://binary.ninja/

MIT License

938 stars 213 forks source link

Open plafosse opened 2 weeks ago

plafosse commented 2 weeks ago

This issue has existed since at least 3.0

At LLIL everything looks correct in MLIL SSA you can see we've lost the assignment of rax to 0