LLVM Austin Area Meetup
Hosted By
Vince B.

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

Austin LLVM Meetup
See more events
Capital Factory
701 Brazos St · Austin, TX
Sponsors
LLVM Austin Area Meetup