issues
search
pietrobraione
/
jbse
A symbolic Java virtual machine for program analysis, verification and test generation
http://pietrobraione.github.io/jbse/
GNU General Public License v3.0
101
stars
29
forks
source link
Add more natives
#43
Closed
MatteoModonato
closed
3 years ago
MatteoModonato
commented
3 years ago
Add following natives:
java/io/RandomAccessFile:(Ljava/lang/String;I)V:open0
sun/misc/Unsafe:(J)I:getInt
java/awt/image/BufferedImage:()V:initIDs
Add following natives: