Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Sandeep Dasgupta"'
Publikováno v:
PLDI
Validating the correctness of binary lifters is pivotal to gain trust in binary analysis, especially when used in scenarios where correctness is important. Existing approaches focus on validating the correctness of lifting instructions or basic block
Publikováno v:
PLDI
We present the most complete and thoroughly tested formal semantics of x86-64 to date. Our semantics faithfully formalizes all the non-deprecated, sequential user-level instructions of the x86-64 Haswell instruction set architecture. This totals 3155
Publikováno v:
Innovations in Systems and Software Engineering. 9:79-93
We present a static shape analysis technique to infer the shapes of the heap structures created by a program at run time. Our technique is field sensitive in that it uses field information to compute the shapes. The shapes of the heap structures are
Autor:
Sandeep Dasgupta, Amey Karkare
Publikováno v:
SAC
Programs in high level languages make intensive use of heap to support dynamic data structures. Analyzing these programs requires precise reasoning about the heap structures. Shape analysis refers to the class of techniques that statically approximat