Comments (3)
; ./build/bin/fsm -t trim tests/trim/in0.fsm
fsm: src/adt/set.c:346: set_first: Assertion `set->a != NULL' failed.
zsh: abort ./build/bin/fsm -t trim tests/trim/in0.fsm
from libfsm.
; valgrind ./build/bin/fsm -t trim tests/trim/in0.fsm
==17090== Memcheck, a memory error detector
==17090== Copyright (C) 2002-2017, and GNU GPL'd, by Julian Seward et al.
==17090== Using Valgrind-3.14.0 and LibVEX; rerun with -h for copyright info
==17090== Command: ./build/bin/fsm -t trim tests/trim/in0.fsm
==17090==
==17090== Invalid read of size 8
==17090== at 0x11C4C3: free_contents (fsm.c:37)
==17090== by 0x11C645: fsm_free (fsm.c:83)
==17090== by 0x10E044: main (main.c:541)
==17090== Address 0x4a42918 is 40 bytes inside a block of size 48 free'd
==17090== at 0x48369AB: free (vg_replace_malloc.c:530)
==17090== by 0x11D159: sweep_states (trim.c:144)
==17090== by 0x11D1D5: fsm_trim (trim.c:178)
==17090== by 0x10DC66: main (main.c:428)
==17090== Block was alloc'd at
==17090== at 0x483577F: malloc (vg_replace_malloc.c:299)
==17090== by 0x10E155: f_malloc (alloc.c:40)
==17090== by 0x11CBB8: fsm_addstate (state.c:27)
==17090== by 0x10C3AA: p_edges_C_Cedge (parser.act:228)
==17090== by 0x10C13C: p_edges (parser.c:263)
==17090== by 0x10CB51: p_fsm (parser.c:795)
==17090== by 0x10D0D6: fsm_parse (parser.act:408)
==17090== by 0x10DAE8: main (main.c:389)
from libfsm.
This use-after-free is because trim isn't updating fsm->start
. PR incoming.
from libfsm.
Related Issues (20)
- bug: non-minimal DFA produced by fsm_minimise HOT 3
- CI fails for documentation build HOT 2
- lexing for pcre comments is slightly incorrect HOT 2
- retest: goasm backend is bizarrely flaky HOT 1
- Seg Fault when Using libre as Shared Library due to reg_comp Name Conflict HOT 5
- re_is_literal() is ambigious for \Z, \z, $
- We accidentally lost the ability to detect ambiguities HOT 4
- Allow escaped closing square bracket in character range
- CI fuzzing corpus "resource not accessible by integration" for PRs from external clones
- Case-insensitive regexps erroneously identified as literals
- lx: Bus error/Segmentation Fault on malformed input HOT 2
- libfsm fails to build with newer versions of bmake (versions after 2022) HOT 2
- Grammar railroad diagram HOT 1
- Add function for which characters an FSM's input must contain to match
- Feature request: Add support for embedded NUL bytes in PCRE patterns HOT 1
- RE_SINGLE (and other flags) break re_is_literal
- Unclear how to do multiple transformations in one invocation HOT 1
- Behavior of `-G length` inconsistent, moreover returns error code. HOT 3
- Broken makefile dependency between `install` and `.pc` targets
- Generated code doesn't distinguish error from EOF, for the getc callback
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from libfsm.