projects
/
IRC.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
changes and data/eval files for new evaluations
[IRC.git]
/
Robust
/
src
/
Benchmarks
/
SSJava
/
MP3Decoder
/
Bitstream.java
diff --git
a/Robust/src/Benchmarks/SSJava/MP3Decoder/Bitstream.java
b/Robust/src/Benchmarks/SSJava/MP3Decoder/Bitstream.java
index 2af59207a56bcce2c26e335eaca1180c8ce56cfb..02a65a053bb3da19fbedfb92bb8027f0bceb1cbc 100644
(file)
--- a/
Robust/src/Benchmarks/SSJava/MP3Decoder/Bitstream.java
+++ b/
Robust/src/Benchmarks/SSJava/MP3Decoder/Bitstream.java
@@
-742,6
+742,8
@@
public final class Bitstream implements BitstreamErrors {
for (; bytes_to_discard > 0; bytes_to_discard--)
br.hgetbits(8);
+ // resynch index by trusted code
+ br.buf_byte_idx = br.totbit % br.BUFSIZE;
return br;
}
}