Loading…
Attending this event?

View analytic
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!

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.

Speakers
MC

Marek Chalupa

Ph.D. student, Masaryk University
I worked for Red Hat for 3 years (during studies) but then I decided to be a full-time student when I became a Ph.D. candidate at Masaryk University. People can talk to me about anything they like :) From my interests, I would highlight sports, music, nature, hiking and such.


Friday January 25, 2019 10:30am - 10:55am
E105
Feedback form isn't open yet.

Attendees (26)