Does This Code Change Affect Program Behavior? Identifying Nonbehavioral Changes with Bytecode.
Aoi MaejimaYoshiki HigoJunnosuke MatsumotoShinji KusumotoPublished in: COMPSAC (2020)
Keyphrases
- programs written
- source code
- static analysis
- behave differently
- java bytecode
- dynamic analysis
- java virtual machine
- operating system
- programming language
- java programs
- java card
- open source
- program understanding
- program execution
- code generation
- computer programs
- program slicing
- smart card
- control flow
- affective states
- program code
- control program
- data flow
- virtual machine
- mixed mode
- human behavior
- legacy software