Martin Mohr
|
32e776fa15
|
various fixes in natives_no_model.xml
* add type info in readBytes/writeBytes
* add summary for writeBytes with three parameters
|
2014-08-01 12:46:33 +02:00 |
Martin Mohr
|
c6cb700804
|
model for a native method SocketInputStream
|
2014-05-16 15:36:55 +02:00 |
Martin Mohr
|
a6917e46ad
|
Summary of FileOutputStream.writeBytes: simulate reading from array and writing to outside ('real world')
|
2014-05-16 15:19:21 +02:00 |
Martin Mohr
|
72a0b70e1c
|
model for FileOutputStream.writeBytes
|
2014-05-16 15:19:21 +02:00 |
Martin Mohr
|
51b28a45b6
|
let FileInputStream.readBytes() modify the given array
|
2014-05-16 15:18:02 +02:00 |
Juergen Graf
|
0d12f90232
|
add additional definition of natives.xml that has no references to com.ibm.wala.model classes
|
2012-12-18 14:11:55 +01:00 |