clamav

Commit Graph

Author	SHA1	Message	Date
Török Edvin	daad92ace3	Relax bounds checks. It was rejecting correct code. Bounds checks were too strict, causing the bytecode to abort when it shouldn't. This happened when trying to access the last byte of an array, the verifier was too conservative and considered to be out of bounds, when in fact it wasn't. This is an update of the runtime verifier from the bytecode compiler.	15 years ago
Török Edvin	e4a0f2c94f	fix compiler warnings (bb #1872 , bb #1934 , bb #1935 )	15 years ago
Török Edvin	9c062bee97	Add missing file.	15 years ago

Author

SHA1

Message

Date

Török Edvin

daad92ace3

Relax bounds checks. It was rejecting correct code.

Bounds checks were too strict, causing the bytecode to abort when it shouldn't.
This happened when trying to access the last byte of an array, the verifier
was too conservative and considered to be out of bounds, when in fact it wasn't.

This is an update of the runtime verifier from the bytecode compiler.

15 years ago

Török Edvin

e4a0f2c94f

fix compiler warnings (bb #1872 , bb #1934 , bb #1935 )

15 years ago

Török Edvin

9c062bee97

Add missing file.

15 years ago

3 Commits (38d54c920443d4271c57aebaacb01274f273bb00)