By Lukas Seidel
Enter CodeTIDAL5: The Game-Changer
JoernTI: The Perfect Integration Our model doesn’t just sit in a lab; it’s integrated into Joern, our popular open-source static analysis tool and foundation of securing your applications. This combination, known as JoernTI, lets you use the inferred type information in your static analysis tasks, contributing to more effective and comprehensive results.
- CodeTIDAL5 offers state-of-the-art type inference, especially for user-defined types
- JoernTI integrates this into practical static analysis workflows
- Our approach significantly improves dataflow recovery, giving you a more complete understanding of your code’s behavior
Academic Publication Our work was accepted at the peer-reviewed 28th European Symposium on Research in Computer Security (ESORICS) in The Hague, one of the top cybersecurity conferences in the world, where we will present our results from the 25th to the 27th of September.
For those wanting to dive deeper, check out the full preprint of our academic paper where we get into the details of how we achieved these advancements: https://davidbakereffendi.github.io/assets/pdf/preprint_6676_ESORICS23.pdf
Or check out our reference implementation and try out JoernTI today! https://github.com/joernio/joernti-codetidal5