Proj CDeepFuzz Paper Reading: Static analysis of shape in tensorflow programs

Abstract

本文: Pythia
Task: use static analysis to track the shapes of tensors across Python library class and warns of several possible mismatches
Method: 对tensor shape相关的library semantics建模

实验：
效果：
Pythia is powerful enough to statically detect (with 84.62% precision) 11 of the 14 shape-related TensorFlow bugs in the recent Zhang et al. empirical study – an independent slice of real-world bugs.