github_mirrors/vectorscan
3
0
Fork 1
mirror of https://github.com/VectorCamp/vectorscan.git synced 2025-06-28 16:41:01 +03:00
Code Issues Packages Projects Releases Wiki Activity

rose: assert that program offset is sane

Browse Source
This commit is contained in:
Justin Viiret 2016-04-20 12:41:02 +10:00 committed by Matthew Barr
parent 061068a260
commit 9e0ec02ac9
2 changed files with 1 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/rose/catchup.c
View File

@ -50,9 +50,6 @@ static really_inline
int roseNfaRunProgram(const struct RoseEngine *rose, struct hs_scratch *scratch,
u64a som, u64a offset, ReportID id, const char from_mpv) {
const u32 program = id;
assert(program > 0);
assert(program % ROSE_INSTR_MIN_ALIGN == 0);
const size_t match_len = 0; // Unused in this path.
const char in_anchored = 0;
const char in_catchup = 1;

2
src/rose/program_runtime.h
View File

@ -830,7 +830,7 @@ hwlmcb_rv_t roseRunProgram(const struct RoseEngine *t,
char skip_mpv_catchup) {
DEBUG_PRINTF("program=%u, offsets [%llu,%llu]\n", programOffset, som, end);
assert(programOffset);
assert(programOffset >= sizeof(struct RoseEngine));
assert(programOffset < t->size);
const char *pc_base = getByOffset(t, programOffset);