search

karelklic / canal

Abstract interpreter for real-world application programs
https://github.com/karelklic/canal/wiki
Other
32 stars 3 forks source link

Handle Iterator initialization with module without any functions #144

Open xbrukner opened 11 years ago

xbrukner commented 11 years ago

Uname arch does nothing (??), and initialization fails with SIGSEGV in Iterator::Iterator.

File: http://www.fi.muni.cz/~xbrukner/integration/uname-arch.c, http://www.fi.muni.cz/~xbrukner/integration/uname-arch.s http://www.fi.muni.cz/~xbrukner/integration/expr.c, http://www.fi.muni.cz/~xbrukner/integration/expr.s http://www.fi.muni.cz/~xbrukner/integration/factor.c, http://www.fi.muni.cz/~xbrukner/integration/factor.s http://www.fi.muni.cz/~xbrukner/integration/ls-ls.c, http://www.fi.muni.cz/~xbrukner/integration/ls-ls.s http://www.fi.muni.cz/~xbrukner/integration/ls-dir.c, http://www.fi.muni.cz/~xbrukner/integration/ls-dir.s http://www.fi.muni.cz/~xbrukner/integration/version.c, http://www.fi.muni.cz/~xbrukner/integration/version.s http://www.fi.muni.cz/~xbrukner/integration/uname-uname.c, http://www.fi.muni.cz/~xbrukner/integration/uname-uname.s http://www.fi.muni.cz/~xbrukner/integration/ls-vdir.c, http://www.fi.muni.cz/~xbrukner/integration/ls-vdir.s

xbrukner commented 11 years ago

It now fails with SIGSEGV when "run" command is issued.