* ICSE 2018 * (series) / Technical Papers / Spatio-Temporal Context Reduction: A Pointer-Analysis-Based Static Approach for Detecting Use-After-Free Vulnerabilities
Spatio-Temporal Context Reduction: A Pointer-Analysis-Based Static Approach for Detecting Use-After-Free Vulnerabilities
Wed 30 May Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Wed 30 May
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
16:00 - 17:30: Program Reduction TechniquesTechnical Papers at H2 room Chair(s): Jianjun ZhaoKyushu University | |||
16:00 - 16:20 Talk | Spatio-Temporal Context Reduction: A Pointer-Analysis-Based Static Approach for Detecting Use-After-Free Vulnerabilities Technical Papers Hua YanUniversity of New South Wales, Yulei SuiUniversity of Technology Sydney, Australia, Shiping ChenData61 at CSIRO, Australia / UNSW, Australia, Jingling XueUNSW Sydney | ||
16:20 - 16:40 Talk | Program Splicing Technical Papers | ||
16:40 - 17:00 Talk | Chopped Symbolic Execution Technical Papers David TrabishTel Aviv University, Andrea MattavelliImperial College London, Noam RinetzkyTel Aviv University, Cristian CadarImperial College London Link to publication File Attached | ||
17:00 - 17:20 Talk | Perses: Syntax-Guided Program Reduction Technical Papers Chengnian SunUniversity of California, Davis, Yuanbo Li, Qirun ZhangUniversity of California, Davis, Tianxiao Gu, Zhendong SuUniversity of California, Davis | ||
17:20 - 17:30 Talk | Q&A in groups Technical Papers |