LLVM Austin Area Meetup

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