search

VeriFIT / mata

A fast and simple automata library
MIT License
22 stars 13 forks source link

Parsing trivial .mata files can coredump #443

Open jn1z opened 4 days ago

jn1z commented 4 days ago

Example from nfa-bench/benchmarks/bool_comb/ere/password-sat-passw_sat4-aut18.mata

This file is pretty trivial, which is likely the problem:

@NFA-bits %Initial q0 %Final

./build/examples/example05-parsing nfa-bench/benchmarks/bool_comb/ere/password-sat-passw_sat4-aut18.mata

parsing ../nfa-bench/./benchmarks/bool_comb/ere/password-sat-passw_sat4-aut18.mata Intermediate automaton type NFA Naming - state: 1 symbol: 1 node: 1 Alphabet 1 Initial states: 0 Final states: Transitions:

free(): invalid pointer Aborted (core dumped)

jn1z commented 2 days ago

Possibly a dupe of https://github.com/VeriFIT/mata/issues/436

Adda0 commented 2 days ago

Yes, that is a bug with our parser. Fixing at least the bugs related to the parser is on our roadmap in the near future. We will try to fix the issue with these simple examples first.