Search filters

List of works by Charles Zhang

<scp>ARCTURUS</scp> : Full Coverage Binary Similarity Analysis with Reachability-guided Emulation

scientific article published on 11 January 2024

<scp>Anchor</scp> : Fast and Precise Value-flow Analysis for Containers via Memory Orientation

scientific article published on 04 October 2022

Falcon: A Fused Approach to Path-Sensitive Sparse Data Dependence Analysis

scientific article published on 20 June 2024

GIANTSAN: Efficient Memory Sanitization with Segment Folding

scientific article published on 22 April 2024

Plankton: Reconciling Binary Code and Debug Information

scientific article published on 22 April 2024

Precise Compositional Buffer Overflow Detection via Heap Disjointness

scientific article published on 11 September 2024

Paulina is supported by:

About Paulina

Help