Dmitry Ivanov
Results
2
issues of
Dmitry Ivanov
## Summary Static analysis tool for TON offers following advantages: - Interprocedural and context-sensitive - Path-sensitive - Bytecode level - Bit-precise - Minimal false-positives - Extensible with new user rules...
Approved
Developer Tool