Mid-month Rustful: Falcon


Details
Alex Eubanks (https://github.com/endeav0r) will finally be giving an official talk (w00t!) on abstract interpretation of MIPS binaries using Falcon (https://github.com/falconre/falcon), a framework for formal binary analysis he's been developing in Rust. He's given a few sneak peeks in the past, and it kinda looks amazing.
Depending on whether we have sufficient time after Alex wraps up, we'll be having an informal hack session. All levels—n00b through 1337—welcome.
Pizza will be provided (feel free to suggest toppings).
The venue is a 3 minute walk from the Ballston Metro Station. Vehicle parking is available in the building's garage entering from
N. Vermont St (Google Maps ( https://goo.gl/maps/KUxYUBHMDV52 ))
and Distil Networks will validate parking (yay!). If the elevators or front doors are locked before 7 (we are trying to have them remain unlocked), please feel free to call/text Scott at 732.759.0006 and we will come let you up. If you park below the building, the doors to the elevator area should now also be unlocked.

Mid-month Rustful: Falcon