Xandra: An Autonomous Cyber Battle System for the Cyber Grand Challenge
Pin: building customized program analysis tools with dynamic instrumentation