Static Analysis of Java Source Code to Generate Security-Relevant Behavior Model Based on Extended Pushdown Automaton | IEEE Conference Publication | IEEE Xplore