Static Analysis of JNI Programs via Binary Decompilation.

Jihee Park Sungho Lee Jaemin Hong Sukyoung Ryu

Published in: IEEE Trans. Software Eng. (2023)

Keyphrases

static analysis
symbolic execution
dynamic analysis
abstract interpretation
source code
test generation
regular expressions
java card
malicious code
api calls
domain knowledge
high level
training data
keywords
open source