CBMC: /home/runner/work/cbmc/cbmc/src/ansi-c/library/java.io.c Source File

CBMC
Loading...
Searching...
No Matches
java.io.c
Go to the documentation of this file.
1/* FUNCTION: java::java.io.InputStream.read:()I */
2
3 int __CPROVER_ID "java::java.io.InputStream.read:()I" (void *)
4{
5 int read_result;
6 __CPROVER_assume(read_result>=-1 && read_result<=255);
7 return read_result;
8}
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Definition ai.h:566
return read_result
Definition java.io.c:7
__CPROVER_assume(read_result >=-1 &&read_result<=255)

AltStyle によって変換されたページ (->オリジナル) /