Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Make HeapSeparator work #197

Closed
alexandernutz opened this issue Jun 28, 2017 · 1 comment
Closed

Make HeapSeparator work #197

alexandernutz opened this issue Jun 28, 2017 · 1 comment
Assignees
@alexandernutz
Labels
abstract interpretation C translation feature

Comments

@alexandernutz
Copy link
Member

After the latest rework of the VPDomain/equality domain (see #178), we might finally get enough sensible input for the HeapSeparator to run it on some practical input.
"in principle" the HeapSeparator should work, but there will still be many details to improve/correct.
@alexandernutz alexandernutz self-assigned this Jun 28, 2017
alexandernutz added a commit that referenced this issue Jun 30, 2017
@alexandernutz
HeapSeparator: using ProgramVarUtils for constructing fresh global Pr…
fea817a 
…ogramVars, towards #197
alexandernutz added a commit that referenced this issue Jul 1, 2017
@alexandernutz
slight rework of HeapSeparator, #197
ebb0f73 
 - now deals with Terms instead of IProgramVarOrConsts and EqNodes, by and large
 - finds out accessing indices on its own now (in HeapSepPreAnalysisVisitor), still asks VPDomainPreanalysis which arrays are tracked
 - an array index is a List of terms now (multidimensional case)
alexandernutz added a commit that referenced this issue Jul 2, 2017
@alexandernutz
implemented some consequences of switching to Terms in HeapSeparator, #…
6bdb9d0 
…197
alexandernutz added a commit that referenced this issue Jul 3, 2017
@alexandernutz
heapseparator: towards correctly updating the TransFormulas, #197
6c9ca15
alexandernutz added a commit that referenced this issue Jul 4, 2017
@alexandernutz
made heapseparator an IcfgTransformation, #197
628be05
alexandernutz added a commit that referenced this issue Jul 5, 2017
@alexandernutz
bugfixes to heapseparator icfgtransformation, #197
9936779
alexandernutz added a commit that referenced this issue Jul 13, 2017
@alexandernutz
refactoring: HeapSeparator now uses AbsIntEqualityProvider, related to …
fe9ae17 
…#197
alexandernutz added a commit that referenced this issue Jul 15, 2017
@alexandernutz
bugfixes in heapseparator, #197
a45e699
alexandernutz added a commit that referenced this issue Jul 18, 2017
@alexandernutz
fixes to splitArraysInTransFormula operation in HeapSepTransFormulaTr…
1d0e1c4 
…ansformer, #197
alexandernutz added a commit that referenced this issue Jul 26, 2017
@alexandernutz
removed some more remaining dependencies to CodeBlock in heapseparator,
a5bbedc 
#197
alexandernutz added a commit that referenced this issue Oct 15, 2017
@alexandernutz
#197, some fixes to heap separator
315a38a
alexandernutz added a commit that referenced this issue Oct 15, 2017
@alexandernutz
#197, fixes, cleanup
f7c4e99
alexandernutz added a commit that referenced this issue Oct 16, 2017
@alexandernutz
#197, (heapseparator) fixes here and there
0fe705e
alexandernutz added a commit that referenced this issue Oct 16, 2017
@alexandernutz
#197, deactivate StoreImageExposer for now
f792350
alexandernutz added a commit that referenced this issue Oct 16, 2017
@alexandernutz
#197, nicer HeapSeparatorBenchmark.toString
81979d0
alexandernutz added a commit that referenced this issue Oct 16, 2017
@alexandernutz
#197, heapseparator tests
cee1240
alexandernutz added a commit that referenced this issue Oct 16, 2017
@alexandernutz
#197, more heapseparator tests (same pattern, increasing size, for be…
857a997 
…nchmarking)
alexandernutz added a commit that referenced this issue Oct 17, 2017
@alexandernutz
#197, minor changes for debugging
0d209ab
alexandernutz added a commit that referenced this issue Oct 18, 2017
@alexandernutz
#197, reactivated StoreIndexExposer
85ac453
alexandernutz added a commit that referenced this issue Oct 23, 2017
@alexandernutz
#197, slight improvement to heapseparator output
6301e5e
alexandernutz added a commit that referenced this issue Jan 9, 2018
@alexandernutz
#197, add example that summarizes one alleged reason why the heap sep…
87f1479 
…arator does not separate well, currently
@alexandernutz
Copy link
Member Author

closing in favour of the more specific #295

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@alexandernutz alexandernutz

Labels
abstract interpretation C translation feature
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@danieldietsch @alexandernutz