4 papers
CPyGraph: A Version-Aware Static Analysis Framework for Native CPython Bytecode
Baihong Chen, Wen Li
Static analysis of Python packages must recover both program structure and object flow across first-class functions, dynamic dispatch, implicit protocol calls, exceptions, closures…
eBPF Security in the Wild: Structural Concentration, Failure Mechanisms, and Discovery Gaps
Baihong Chen, Hua Ming, Weifeng Pan +3
Extended Berkeley Packet Filter (eBPF) is a security-critical in-kernel execution framework, yet its vulnerability landscape remains fragmented across components, semantic gaps, an…
Dissecting Software Graphs: Structural Insights for Driver-Guided Fuzzing
Baihong Chen, Hua Ming, Weifeng Pan +3
Many software systems expose multiple execution modes through command-line options, subcommands, and configuration flags. For such programs, fuzzing depends on both mutated inputs…
Beyond Source: An Empirical Study of Python Bytecode Security Risks
Baihong Chen, Tian Xie, Wen Li
Python package security is largely source-centric, yet Python runtimes can execute bytecode directly through .pyc files, compiled-only modules, and marshalled code objects, creatin…