Static Analysis of Shape in TensorFlow Programs.

Sifis Lagouvardos Julian Dolby Neville Grech Anastasios Antoniadis Yannis Smaragdakis

Published in: ECOOP (2020)

Keyphrases

static analysis
symbolic execution
dynamic analysis
abstract interpretation
source code
malicious code
shape model
java card
shape analysis
regular expressions
databases
test generation
shape descriptors
shape matching
shape features
java programs
control flow
test suite
operating system
query language
knowledge base