A Static Java Birthmark Based on Control Flow Edges | IEEE Conference Publication | IEEE Xplore