https://miscreants.github.io/blog.trailofbits.com/authors/aaron-yoo/Recent content in Aaron Yoo on The Trail of Bits BlogHugoen-usFri, 02 Apr 2021 00:52:39 -0400https://miscreants.github.io/blog.trailofbits.com/2021/04/02/solar-context-free-interactive-analysis-for-solidity/Fri, 02 Apr 2021 00:52:39 -0400https://miscreants.github.io/blog.trailofbits.com/2021/04/02/solar-context-free-interactive-analysis-for-solidity/We’re hiring for our Research + Engineering team!  By Aaron Yoo, University of California, Los Angeles As an intern at Trail of Bits, I worked on Solar, a proof-of-concept static analysis framework. Solar is unique because it enables context-free interactive analysis of Solidity smart contracts. A user can direct Solar to explore program paths (e.g., […]