Skip to content
This repository has been archived by the owner on Jul 30, 2021. It is now read-only.

Issues: karelklic/canal

23 Open 149 Closed
23 Open 149 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Operation "and" is inconsistent on Integers in wc bug
#173 opened Feb 26, 2013 by JanDupal Third release
@karelklic
2
Constructors.cpp:360(createConstantExpr) fatal error: Constant Expressions Instruction not implemented: inttoptr bug
#170 opened Feb 4, 2013 by xbrukner Support the analysis of coreutils
Implement domain for Integer and Pointer abstract domains enhancement
#149 opened Dec 22, 2012 by xbrukner Third release
1
Handle Iterator initialization with module without any functions bug must have asap
#144 opened Dec 7, 2012 by xbrukner Third release
@karelklic
1
Implement string abstract domain based on prefix tree abstract domains enhancement
#139 opened Dec 6, 2012 by karelklic Third release
@sutamatej
Structure.cpp:248(getItem) assert failed: !result.empty() bug
#138 opened Dec 4, 2012 by xbrukner Support the analysis of coreutils
2
Constructors.cpp:168(create): not implemented bug memory domain
#137 opened Dec 4, 2012 by xbrukner Support the analysis of coreutils
2
Utils.h:152(dynCast) fatal error: std::bad_cast from N5Canal7Integer9ContainerE to N5Canal9StructureE bug memory domain
#136 opened Dec 4, 2012 by xbrukner Support the analysis of coreutils
Utils.h:152(dynCast) fatal error: std::bad_cast from N5Canal7Pointer7PointerE to N5Canal7Integer9ContainerE bug memory domain
#131 opened Dec 4, 2012 by xbrukner Support the analysis of coreutils
1
Utils.h:152(dynCast) fatal error: std::bad_cast from N5Canal5Array9ExactSizeE to N5Canal7Pointer7PointerE bug memory domain
#130 opened Dec 4, 2012 by xbrukner Support the analysis of coreutils
1
Pointer.cpp:182(dereferenceAndMerge) assert failed: source bug memory domain
#129 opened Dec 4, 2012 by xbrukner Support the analysis of coreutils
Operations.cpp:195(interpretCall) assert failed: function bug
#128 opened Dec 4, 2012 by xbrukner Support the analysis of coreutils
@xbrukner
5
Test output of abstract interpretation enhancement nice to have
#115 opened Nov 21, 2012 by xbrukner
Write comparing operator on Domains, which says whether on Domain is fully included in other enhancement nice to have
#111 opened Nov 21, 2012 by xbrukner Third release
1
Pointer should switch between the numeric and gep offsets abstract domains enhancement must have asap
#104 opened Nov 20, 2012 by karelklic Third release
@karelklic
1
Do not depend on readline enhancement nice to have portability
#68 opened Oct 20, 2012 by karelklic
Unit test fixpoint calculation on programs enhancement nice to have
#55 opened Oct 17, 2012 by xbrukner
Canal needs clang for compilation, but CMake does not test for it bug nice to have
#50 opened Oct 16, 2012 by xbrukner
Compare result of abstract interpretation with run of program enhancement
#47 opened Oct 11, 2012 by xbrukner
1
Implement strcpy function model enhancement must have
#42 opened Oct 4, 2012 by karelklic Third release
@karelklic
Extend unit tests to check for memory leaks by running under valgrind nice to have
#36 opened Oct 3, 2012 by xbrukner
Support proper storing of an i32 value to i8* array abstract domains enhancement must have
#30 opened Sep 28, 2012 by karelklic Third release
@karelklic
3
How to stop run of program right before fixpoint calculation command-line tool enhancement nice to have
#24 opened Sep 26, 2012 by xbrukner
1
ProTip! Adding no:label will show everything without a label.