Static Analysis for AWS Best Practices in Python Code.

Rajdeep Mukherjee Omer Tripp Ben Liblit Michael Wilson

Published in: ECOOP (2022)

Keyphrases

static analysis
source code
malicious code
open source
dynamic analysis
symbolic execution
regular expressions
test generation
software engineering
programming language
software systems
java card
case study
scripting language
design patterns
object oriented
high level
database
abstract interpretation