issues
search
karelklic
/
canal
Abstract interpreter for real-world application programs
https://github.com/karelklic/canal/wiki
Other
32
stars
3
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Pointer.cpp:182(dereferenceAndMerge) assert failed: source
#129
xbrukner
opened
11 years ago
0
Operations.cpp:195(interpretCall) assert failed: function
#128
xbrukner
opened
11 years ago
5
Fix infinite loop in fixpoint calculation in seq
#127
xbrukner
closed
11 years ago
2
Integrate Canal tool with LLVM server
#126
karelklic
closed
11 years ago
2
Moved integer-specific methods form Integer::Container to Integer::Utils
#125
JanDupal
closed
11 years ago
1
`make check` from autotools needs autom4te
#124
xbrukner
closed
11 years ago
1
Do not return known result in icmp when comparing with same object (&a == &b)
#123
xbrukner
closed
11 years ago
0
Create tests for IntegerBitfield::icmp with bitwidth = 1
#122
xbrukner
closed
11 years ago
0
Shared data pointer
#121
karelklic
closed
11 years ago
0
Handle bottom values in unit tests
#120
xbrukner
closed
11 years ago
0
Rename class Integer::Container
#119
karelklic
closed
11 years ago
1
Move "no-missing" option to set command
#118
sutamatej
closed
11 years ago
0
Add completion for "set" command
#117
sutamatej
closed
11 years ago
0
Optimize dump
#116
xbrukner
closed
11 years ago
1
Test output of abstract interpretation
#115
xbrukner
opened
11 years ago
0
shared_data_pointer does not build in different build directory
#114
xbrukner
closed
11 years ago
0
Travis-CI: run make test after compilation with CMake
#113
xbrukner
closed
11 years ago
8
Optimize operator== on Domains
#112
xbrukner
closed
11 years ago
0
Write comparing operator on Domains, which says whether on Domain is fully included in other
#111
xbrukner
opened
11 years ago
1
Cleanup super_ptr branch
#110
xbrukner
closed
11 years ago
1
Optimize StateMap merge by checking if merge is necessary
#109
xbrukner
closed
11 years ago
0
Print command should work for analysis with fixpoint reached
#108
karelklic
closed
11 years ago
0
Prepare all versions of LLVM and Canal on arran server
#107
xbrukner
closed
11 years ago
1
Integer*::isSingleValue and Pointer::isSingleTarget methods should be renamed to isConstant
#106
karelklic
closed
11 years ago
0
Increase precision of basic store operation
#105
karelklic
closed
11 years ago
0
Pointer should switch between the numeric and gep offsets
#104
karelklic
opened
11 years ago
1
Value-representing domains should know the exact LLVM type
#103
karelklic
closed
11 years ago
0
Rename Integer::Enumeration to Integer::Set
#102
karelklic
closed
11 years ago
0
LLVM_VERSION_MAJOR and LLVM_VERSION_MINOR
#101
karelklic
closed
11 years ago
1
Download scripts should be merged into one
#100
karelklic
closed
11 years ago
0
Include llvm headers with the same NDEBUG state as during LLVM compile-time
#99
karelklic
closed
11 years ago
0
Wc and chroot fails to load with LLVM 3.0
#98
xbrukner
closed
11 years ago
1
Travis CI: support for cmake
#97
JanDupal
closed
11 years ago
0
Create "package" download & compilation script
#96
xbrukner
closed
11 years ago
0
Create a reference table about state of the operation implementation in abstract domains
#95
xbrukner
closed
11 years ago
1
Have number of iterations before numerical widening as a parameter
#94
xbrukner
closed
11 years ago
1
Just-in-time compilation of basic block fixpoint calculation
#93
xbrukner
closed
11 years ago
1
Parallelization via context sensitivity
#92
xbrukner
closed
11 years ago
1
Make it possible to not to output "function not found".
#91
xbrukner
closed
11 years ago
1
Lazy copies of domains
#90
xbrukner
closed
11 years ago
6
Clean *.s files after running tests
#89
JanDupal
closed
11 years ago
0
Statistics
#88
xbrukner
closed
11 years ago
2
make check needs autom4te
#87
xbrukner
closed
11 years ago
1
Add widening for pointers
#86
karelklic
closed
11 years ago
1
Environment abstract domains
#85
karelklic
closed
11 years ago
0
Prepare thesis topic for chaotic iteration
#84
karelklic
closed
11 years ago
1
Canal cannot be installed via CMake build system
#83
karelklic
closed
11 years ago
0
Submit a presentation to Developer Conference 2013
#82
karelklic
closed
11 years ago
1
Integration tests doesn't work when not compiling in-source
#81
JanDupal
closed
11 years ago
0
Missing lib/Config.h when compiling with cmake
#80
JanDupal
closed
11 years ago
0
Previous
Next