Loading…
DevConf.CZ 2019 has ended

Friday, January 25 • 10:30am - 10:55am
Symbiotic: finding bugs in C programs

Sign up or log in to save this to your schedule 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

Speakers
MC

Marek Chalupa

Student, Masaryk University


main pdf

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

Attendees (56)