Skip to content

Commit

Permalink
bump sea-dsa version
Browse files Browse the repository at this point in the history
  • Loading branch information
@shaobo-he
shaobo-he committed Sep 11, 2023
1 parent 2452feb commit ddf88d3
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion sea-dsa
Submodule sea-dsa updated 34 files
+2 −1 include/seadsa/CompleteCallGraph.hh
+1 −1 include/seadsa/DsaColor.hh
+1 −1 include/seadsa/Global.hh
+1 −1 include/seadsa/Graph.hh
+19 −19 include/seadsa/Info.hh
+50 −0 include/seadsa/Printer.hh
+13 −4 lib/seadsa/DsaBottomUp.cc
+36 −3 lib/seadsa/DsaCallGraphPrinter.cc
+8 −4 lib/seadsa/DsaColor.cc
+67 −8 lib/seadsa/DsaCompleteCallGraph.cc
+2 −2 lib/seadsa/DsaGlobal.cc
+11 −11 lib/seadsa/DsaInfo.cc
+16 −1 lib/seadsa/DsaLocal.cc
+150 −179 lib/seadsa/DsaPrinter.cc
+169 −138 lib/seadsa/DsaStats.cc
+25 −28 lib/seadsa/DsaTopDown.cc
+13 −8 lib/seadsa/FieldType.cc
+1 −0 lib/seadsa/Graph.cc
+87 −20 lib/seadsa/RemovePtrToInt.cc
+73 −7 lib/seadsa/ShadowMem.cc
+2 −2 lib/seadsa/SpecLang.cc
+31 −0 tests/c/complete_callgraph_15.c
+36 −0 tests/c/complete_callgraph_16.c
+22 −0 tests/c/complete_callgraph_17.cpp
+68 −0 tests/complete_callgraph_15.ll
+136 −0 tests/complete_callgraph_16.ll
+195 −0 tests/complete_callgraph_17.ll
+13 −0 tests/expected_graphs/complete_callgraph_15.dot
+19 −0 tests/expected_graphs/complete_callgraph_16.dot
+52 −0 tests/expected_graphs/complete_callgraph_17.dot
+5 −3 tests/expected_graphs/td_explicit_as.entry.mem.dot
+19 −9 tools/CMakeLists.txt
+4 −4 tools/libcSpecGen.cc
+21 −16 tools/seadsa.cc

0 comments on commit ddf88d3

Please sign in to comment.