svf-lib 1.0.2253 → 1.0.2255
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/.github/workflows/publish-svf-lib.yml +2 -2
- package/SVF-osx/Release-build/bin/ae +0 -0
- package/SVF-osx/Release-build/bin/cfl +0 -0
- package/SVF-osx/Release-build/bin/dvf +0 -0
- package/SVF-osx/Release-build/bin/llvm2svf +0 -0
- package/SVF-osx/Release-build/bin/mta +0 -0
- package/SVF-osx/Release-build/bin/saber +0 -0
- package/SVF-osx/Release-build/bin/svf-ex +0 -0
- package/SVF-osx/Release-build/bin/wpa +0 -0
- package/SVF-osx/Release-build/include/Util/Options.h +3 -3
- package/SVF-osx/Release-build/lib/libSvfCore.dylib +0 -0
- package/SVF-osx/Release-build/lib/libSvfLLVM.dylib +0 -0
- package/package.json +1 -1
|
@@ -27,11 +27,11 @@ jobs:
|
|
|
27
27
|
steps:
|
|
28
28
|
- name: Trigger SVF-Python workflow
|
|
29
29
|
run: |
|
|
30
|
-
git clone https://
|
|
30
|
+
git clone https://github.com/SVF-tools/SVF-Python.git
|
|
31
31
|
cd SVF-Python
|
|
32
32
|
git config user.name "github-actions[bot]"
|
|
33
33
|
git config user.email "github-actions[bot]@users.noreply.github.com"
|
|
34
34
|
git commit --allow-empty -m "trigger: new version of SVF-npm published"
|
|
35
|
-
git push
|
|
35
|
+
git push https://yuleisui:${{secrets.yulei_git_key}}@github.com/SVF-tools/SVF-Python.git HEAD:main
|
|
36
36
|
env:
|
|
37
37
|
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
@@ -126,7 +126,7 @@ public:
|
|
|
126
126
|
static const Option<bool> CallGraphDotGraph;
|
|
127
127
|
static const Option<bool> PAGPrint;
|
|
128
128
|
static const Option<u32_t> IndirectCallLimit;
|
|
129
|
-
static
|
|
129
|
+
static Option<bool> UsePreCompFieldSensitive;
|
|
130
130
|
static const Option<bool> EnableAliasCheck;
|
|
131
131
|
static const Option<bool> EnableTypeCheck;
|
|
132
132
|
static const Option<bool> EnableThreadCallGraph;
|
|
@@ -184,8 +184,8 @@ public:
|
|
|
184
184
|
|
|
185
185
|
// SymbolTableInfo.cpp
|
|
186
186
|
static const Option<bool> LocMemModel;
|
|
187
|
-
static
|
|
188
|
-
static
|
|
187
|
+
static Option<bool> ModelConsts;
|
|
188
|
+
static Option<bool> ModelArrays;
|
|
189
189
|
static const Option<bool> CyclicFldIdx;
|
|
190
190
|
static const Option<bool> SymTabPrint;
|
|
191
191
|
|
|
Binary file
|
|
Binary file
|