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 natives
#41
Closed
MatteoModonato
closed
3 years ago
MatteoModonato
commented
3 years ago
Add following natives:
java/io/FileOutputStream:(Ljava/lang/String;Z)V:open0
sun/misc/Unsafe:(JI)V:putInt
sun/misc/Unsafe:(Ljava/lang/Object;JJ)V:putLong
sun/misc/Unsafe:(Ljava/lang/Object;JJ)V:putLongVolatile
sun/misc/Unsafe:(Ljava/lang/Object;J)J:getLong
sun/misc/Unsafe:(Ljava/lang/Object;J)J:getLongVolatile
java/lang/Float:(I)F:intBitsToFloat
java/awt/image/ColorModel:()V:initIDs
java/awt/Font:()V:initIDs
java/net/NetworkInterface:()V:init
java/net/InetAddress:()V:init
Add following natives: