A Multilanguage Static Analysis of Python Programs with Native C Extensions.

Raphaël Monat Abdelraouf Ouadjaout Antoine Miné

Published in: SAS (2021)

Keyphrases

static analysis
symbolic execution
dynamic analysis
source code
abstract interpretation
open source
open source software
test generation
programming language
java card
malicious code
regular expressions
test suite
api calls
knowledge base
programming skills
control flow
data flow
object oriented