Representing and Reasoning about Dynamic Code

Jesse Bartels, Jon Stephens, Saumya Debray

Dynamic code, i.e., code that is created or modified at runtime, is ubiquitous in today's world. The behavior of dynamic code can depend on the logic of the dynamic code generator…