Vaibhav Sharma

Summary: Trail of Bits hosted four winterns in its month-long 2019 winter internship program, who contributed to three projects. The first post in the series covers Vaibhav Sharma, a PhD student, and his work on symbolic path merging in Manticore, the firm's symbolic execution tool.
What you should know: Symbolic execution tools like Manticore underpin the program-analysis work Trail of Bits uses to find bugs in code, so the intern projects feeding into that tooling are part of how the firm's analysis capability gets extended.

Read the original at Trail of Bits Blog ↗