Filter by: Subject

Now showing items 1-10 of 5

machine code (5)
abstract interpretation (2)
IA-32 instruction set (2)
symbolic abstraction (2)
architecture recovery (1)
BTA (1)
class-hierarchy inference (1)
domain combination (1)
dynamic analysis (1)
granularity issue (1)