DevConf.CZ 2019 has ended
Back To Schedule
Friday, January 25 • 10:30am - 10:55am
Symbiotic: finding bugs in C programs

Sign up or log in to save this to your schedule, view media, leave feedback and see who's attending!

Feedback form is now closed.
Computer bugs make everyday life harder not just to programmers, but mostly to users. This brings up the desire for bug-free software. Symbiotic is an open-source tool that automatically finds bugs in C programs. It performs a set of program transformations that make it easier to find bugs, and then it analyzes the program by symbolic execution. It can search for the common errors like assertion violation, null or dangling pointer dereference, integer overflow, and similar. In this presentation, we tell you what is Symbiotic, how it works, and how you can use it.
Slides: https://github.com/mchalupa/devconf19-symbiotic-presentation


Marek Chalupa

Student, Masaryk University

main pdf

Friday January 25, 2019 10:30am - 10:55am CET