Skip to content

LLVM Austin Area Meetup

V
Hosted By
Vince B.
LLVM Austin Area Meetup

Details

We'll resume the meetups this week through Zoom.

This week, I'll do a brief overview of LLVM and Clang, and cover static analysis. I'll describe the Z3 theorem prover and how it can be used to refute false positive reports from the static analyzer. This will be mostly basic overview, with some introductory technical content.

Please use the following Invite link to connect to the meeting.

https://us02web.zoom.us/j/81808075342?pwd=NDNQRFFlMEhYYmZQbkpHSnRzMmw5Zz09

Photo of Austin LLVM Meetup group
Austin LLVM Meetup
See more events
Capital Factory
701 Brazos St · Austin, TX