Commit 2ea61f6
4 files changed
+14
-3
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
137 | 137 | | |
138 | 138 | | |
139 | 139 | | |
| 140 | + | |
| 141 | + | |
| 142 | + | |
| 143 | + | |
| 144 | + | |
| 145 | + | |
| 146 | + | |
| 147 | + | |
| 148 | + | |
| 149 | + | |
| 150 | + | |
140 | 151 | | |
141 | 152 | | |
142 | 153 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | 2 | | |
3 | 3 | | |
4 | | - | |
| 4 | + | |
5 | 5 | | |
6 | 6 | | |
7 | 7 | | |
| |||
- include/rellic/AST/CondBasedRefine.h-2
- include/rellic/AST/GenerateAST.h+3-1
- include/rellic/AST/ReachBasedRefine.h-4
- include/rellic/AST/Util.h+5
- include/rellic/AST/Z3CondSimplify.h-5
- include/rellic/Decompiler.h-2
- lib/AST/CondBasedRefine.cpp+2-10
- lib/AST/DebugInfoCollector.cpp+5-1
- lib/AST/GenerateAST.cpp+80-33
- lib/AST/ReachBasedRefine.cpp+3-12
- lib/AST/Util.cpp+13
- lib/AST/Z3CondSimplify.cpp+2-11
- lib/Decompiler.cpp-12
- tests/tools/decomp/nested_while.c+16
- tools/xref/README.md+8-1
0 commit comments