svf-lib 1.0.1516 → 1.0.1518

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.
Files changed (5) hide show
  1. package/SVF-linux/Release-build/svf-llvm/libSvfLLVM.a +0 -0
  2. package/SVF-osx/Release-build/svf/libSvfCore.a +0 -0
  3. package/SVF-osx/Release-build/svf-llvm/libSvfLLVM.a +0 -0
  4. package/SVF-osx/svf/include/Util/ExtAPI.json +20 -4
  5. package/package.json +1 -1
package/SVF-osx/svf/include/Util/ExtAPI.json CHANGED
@@ -518,8 +518,16 @@
518
518
  "asprintf": {
519
519
  "return": "int",
520
520
  "arguments": "(char **restrict, const char *restrict, ...)",
521
- "type": "EFT_NOOP",
522
- "overwrite_app_function": 1
521
+ "type": "EFT_A0R_NEW",
522
+ "overwrite_app_function": 1,
523
+ "AddrStmt": {
524
+ "src": "Obj",
525
+ "dst": "Dummy"
526
+ },
527
+ "StoreStmt": {
528
+ "src": "Dummy",
529
+ "dst": "Arg0"
530
+ }
523
531
  },
524
532
  "atexit": {
525
533
  "return": "int",
@@ -2192,8 +2200,16 @@
2192
2200
  "vasprintf": {
2193
2201
  "return": "int",
2194
2202
  "arguments": "(char **, const char *, va_list)",
2195
- "type": "EFT_NOOP",
2196
- "overwrite_app_function": 1
2203
+ "type": "EFT_A0R_NEW",
2204
+ "overwrite_app_function": 1,
2205
+ "AddrStmt": {
2206
+ "src": "Obj",
2207
+ "dst": "Dummy"
2208
+ },
2209
+ "StoreStmt": {
2210
+ "src": "Dummy",
2211
+ "dst": "Arg0"
2212
+ }
2197
2213
  },
2198
2214
  "vfprintf": {
2199
2215
  "return": "int",
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "svf-lib",
3
- "version": "1.0.1516",
3
+ "version": "1.0.1518",
4
4
  "description": "SVF's npm support",
5
5
  "main": "index.js",
6
6
  "scripts": {