SVF Versions Save

This is a stable release of SVF for LLVM-14.0.0 with the following change:

• CMake significant changes
• Supporting opaque pointers in progress
• Performing improvement for Andersen in memory and speed
• Symbolic abstraction implementation in abstract execution.

In our next release, SVF will support LLVM-16 and merge the Abstract Execution solver code.

What's Changed

• opaque pointer stage 2-1 by @jumormt in https://github.com/SVF-tools/SVF/pull/1304
• remove isNonPointerObj API by @yuleisui in https://github.com/SVF-tools/SVF/pull/1315
• Opaque stage 2.2 by @jumormt in https://github.com/SVF-tools/SVF/pull/1317
• Fix numOfElements for a C++ object with vtable by @yuleisui in https://github.com/SVF-tools/SVF/pull/1318
• remove redundant BUF_CHECK from extapi.c by @bjjwwang in https://github.com/SVF-tools/SVF/pull/1320
• Modernise CMake script by @Johanmyst in https://github.com/SVF-tools/SVF/pull/1305
• Let Docker use specific cmake version by @xudon9 in https://github.com/SVF-tools/SVF/pull/1328
• add intervalESBase by @jumormt in https://github.com/SVF-tools/SVF/pull/1333
• turn interprocedural off by @jumormt in https://github.com/SVF-tools/SVF/pull/1334
• add arraySize to AddrStmt by @bjjwwang in https://github.com/SVF-tools/SVF/pull/1324
• fix a name ambiguous in IntervalExeState by @bjjwwang in https://github.com/SVF-tools/SVF/pull/1335
• add symbolic abstraction test by @jiawei-95 in https://github.com/SVF-tools/SVF/pull/1339
• Add Memory Statistics and Clean Solitaries in Constraint Graph by @kisslune in https://github.com/SVF-tools/SVF/pull/1340
• clean up and improve SVF stats by @yuleisui in https://github.com/SVF-tools/SVF/pull/1341
• use template in WTO by @jumormt in https://github.com/SVF-tools/SVF/pull/1342
• Bytesize by @jumormt in https://github.com/SVF-tools/SVF/pull/1344
• cpp stage 1: move cppUtil to svf-llvm by @jumormt in https://github.com/SVF-tools/SVF/pull/1345
• fix svf-npm publish CI: remove previous folder before copying by @jumormt in https://github.com/SVF-tools/SVF/pull/1346
• fix npm publish CI by @jumormt in https://github.com/SVF-tools/SVF/pull/1347
• opaque pointer support (type inference) for c by @jumormt in https://github.com/SVF-tools/SVF/pull/1323
• Rm std::transform by @jumormt in https://github.com/SVF-tools/SVF/pull/1348
• use orderedset to select largest type by @jumormt in https://github.com/SVF-tools/SVF/pull/1351
• Opaque by @jumormt in https://github.com/SVF-tools/SVF/pull/1352
• fix isTemplate and fix a NPD bug by @jumormt in https://github.com/SVF-tools/SVF/pull/1353

Full Changelog: https://github.com/SVF-tools/SVF/compare/SVF-2.8...SVF-2.9

Major changes

1. Improved handling of external functions using a simple extapi.c file to link to the main module.
2. API refactoring to address constant field offset for field-sensitivity.
3. Refactored abstract execution code and implemented WTO (Weak Topological Ordering).
4. Development of Control Dependence and BlockCFG classes.
5. Enhancements to CMake for improved handling of dynamically linked libraries.
6. Refactoring in preparation for the later adoption of opaque pointers.
7. Implemented pointee type and inferred the number of fields in a heap object.
8. Implemented symbolic abstraction.
9. Bug fixes for Saber in abstract execution, graph construction, and more.

What's Changed

• fix bitvec err for sse by @bjjwwang in https://github.com/SVF-tools/SVF/pull/1156
• cfl graphbuilder update by @TalbenXu in https://github.com/SVF-tools/SVF/pull/1158
• fix issue 1139 by @JasonZhongZexin in https://github.com/SVF-tools/SVF/pull/1155
• fix typo by @canliture in https://github.com/SVF-tools/SVF/pull/1160
• Support non-throwing C++ new functions in ExtAPI by @adriaanjacobs in https://github.com/SVF-tools/SVF/pull/1163
• Spelling Fixes by @davis-matthew in https://github.com/SVF-tools/SVF/pull/1164
• Replace ExAPI.json with extapi.c (extapi.c explaination wiki: https://github.com/SVF-tools/SVF/wiki/Handling-External-APIs-with-extapi.c) by @shuangxiangkan in https://github.com/SVF-tools/SVF/pull/1165
• Put the extapi.c into the svf-llvm/lib/ by @shuangxiangkan in https://github.com/SVF-tools/SVF/pull/1168
• Remove “attribute((annotate("SVF")))” from extapi.c by @shuangxiangkan in https://github.com/SVF-tools/SVF/pull/1169
• support main() decl in ext.bc and main() def in app.bc(). by @bjjwwang in https://github.com/SVF-tools/SVF/pull/1170
• ExtAPI refactor by @bjjwwang in https://github.com/SVF-tools/SVF/pull/1174
• remove duplicate/useless enum field 'FunRet' by @canliture in https://github.com/SVF-tools/SVF/pull/1175
• fix a bug in computeConstantOffset by @bjjwwang in https://github.com/SVF-tools/SVF/pull/1177
• fix a nullptr dereference error by @canliture in https://github.com/SVF-tools/SVF/pull/1179
• Fix the bug of failing to find extapi.bc in npm by @shuangxiangkan in https://github.com/SVF-tools/SVF/pull/1183
• Add comments to some APIs in SVFIRExtAPI.cpp by @shuangxiangkan in https://github.com/SVF-tools/SVF/pull/1185
• fix getgepoffset and accumulateconstantOffset by @bjjwwang in https://github.com/SVF-tools/SVF/pull/1184
• Remove "STATIC" annotation in extapi.bc by @shuangxiangkan in https://github.com/SVF-tools/SVF/pull/1188
• fix a bug that leads to get many incorrect switch target case value -1 by @canliture in https://github.com/SVF-tools/SVF/pull/1191
• add reshapeValue() to getOffsetfromGepPair by @bjjwwang in https://github.com/SVF-tools/SVF/pull/1192
• replace int64 with s64 in IntervalValue/Z3Expr by @bjjwwang in https://github.com/SVF-tools/SVF/pull/1195
• 0822 wip by @JasonZhongZexin in https://github.com/SVF-tools/SVF/pull/1196
• fix incorrect iterator comparision by @canliture in https://github.com/SVF-tools/SVF/pull/1199
• Remove redundant functions, annotations and global variables introduc… by @shuangxiangkan in https://github.com/SVF-tools/SVF/pull/1204
• Add control dependence and ICFG Wrapper by @jumormt in https://github.com/SVF-tools/SVF/pull/1203
• fix compiler err in gcc13.2 by @bjjwwang in https://github.com/SVF-tools/SVF/pull/1209
• Add filesystem read/write in SVFLoopAndDoom by @xudon9 in https://github.com/SVF-tools/SVF/pull/1207
• Fix some issues about ExtAPI by @shuangxiangkan in https://github.com/SVF-tools/SVF/pull/1210
• Fix the extapi.bc path not found issue by @shuangxiangkan in https://github.com/SVF-tools/SVF/pull/1212
• Fix typo and simplify code in ExtAPI by @shuangxiangkan in https://github.com/SVF-tools/SVF/pull/1215
• Merge ICFGWrapper with CFBasicBlockG by @jumormt in https://github.com/SVF-tools/SVF/pull/1218
• fix svf doxygen publish err by @JasonZhongZexin in https://github.com/SVF-tools/SVF/pull/1219
• Add func to first BB by @jumormt in https://github.com/SVF-tools/SVF/pull/1220
• remove bbToNode from CFBasicBlockGraph by @bjjwwang in https://github.com/SVF-tools/SVF/pull/1221
• fix control dependence bug: no nearest common post dominator by @jumormt in https://github.com/SVF-tools/SVF/pull/1223
• Split callsite and return site in a CFBBNode by @jumormt in https://github.com/SVF-tools/SVF/pull/1227
• fix potential null dereference by @jumormt in https://github.com/SVF-tools/SVF/pull/1228
• Allow building of shared libraries by @xudon9 in https://github.com/SVF-tools/SVF/pull/1229
• Fix Wto for CFBBGraph by @bjjwwang in https://github.com/SVF-tools/SVF/pull/1230
• fix LLVM_DIR rewrite by LLVMConfig.cmake by @jumormt in https://github.com/SVF-tools/SVF/pull/1232
• fix WTO and CDG build bug by @jumormt in https://github.com/SVF-tools/SVF/pull/1233
• fix mac dynlib build failed by @JasonZhongZexin in https://github.com/SVF-tools/SVF/pull/1237
• Suppress warnings for unused variables when SVF_ENABLE_ASSERTIONS is … by @hjjandy in https://github.com/SVF-tools/SVF/pull/1238
• fix getByteOffsets in GepStmt and SVFIR2ItvExeState by @bjjwwang in https://github.com/SVF-tools/SVF/pull/1240
• add coverage and fix struct gep accumulatedGepByteOffset() by @bjjwwang in https://github.com/SVF-tools/SVF/pull/1241
• use getPtrElementType rather than getpointerelementtype by @jumormt in https://github.com/SVF-tools/SVF/pull/1245
• fix 2 bug by @bjjwwang in https://github.com/SVF-tools/SVF/pull/1246
• fix if offsetVarAndGepTypePair.second is nullptr by @bjjwwang in https://github.com/SVF-tools/SVF/pull/1247
• Add BinaryOp and UnaryOp into BreakConstantExpr by @yuleisui in https://github.com/SVF-tools/SVF/pull/1249
• fix intervalValue compare operators by @bjjwwang in https://github.com/SVF-tools/SVF/pull/1251
• fix CFBBGraph for recursive funcs by @bjjwwang in https://github.com/SVF-tools/SVF/pull/1253
• Load extapi module in buildSVFModule(Module& mod) by @shuangxiangkan in https://github.com/SVF-tools/SVF/pull/1258
• 1st PR of more precise ObjTypeInfo by @bjjwwang in https://github.com/SVF-tools/SVF/pull/1255
• 2nd PR. Add SVF's byte size and fix some api use by @bjjwwang in https://github.com/SVF-tools/SVF/pull/1260
• strong update for translating phi by @jumormt in https://github.com/SVF-tools/SVF/pull/1263
• fix a bug: 'getExitBB' of SVFFunction may get incorrect exit block. by @canliture in https://github.com/SVF-tools/SVF/pull/1262
• handling fun exit node by @jumormt in https://github.com/SVF-tools/SVF/pull/1266
• add range limit to IntegerType by @bjjwwang in https://github.com/SVF-tools/SVF/pull/1264
• rename API names in AE by @jumormt in https://github.com/SVF-tools/SVF/pull/1267
• rename getConstantFldIdx to getConstantStructFldIdx by @bjjwwang in https://github.com/SVF-tools/SVF/pull/1268
• add source element type in accesspath by @jumormt in https://github.com/SVF-tools/SVF/pull/1269
• rename sourceElementType, fix computeConstantOffset bug by @jumormt in https://github.com/SVF-tools/SVF/pull/1271
• fix offset>=so.size() assertion by @bjjwwang in https://github.com/SVF-tools/SVF/pull/1272
• fix CFBBGbuilder bug by @jumormt in https://github.com/SVF-tools/SVF/pull/1273
• Build CFBasicBlockG based on SVFBasicBlocks rather than ICFG by @jumormt in https://github.com/SVF-tools/SVF/pull/1275
• fix bug json report to build better statistic by @bjjwwang in https://github.com/SVF-tools/SVF/pull/1276
• Break when app and extapi module have a match by @Qcloud1223 in https://github.com/SVF-tools/SVF/pull/1281
• (fix issue #1279) connect actual to formal vfgnode for full svfg by @jumormt in https://github.com/SVF-tools/SVF/pull/1282
• refactor extapi by @bjjwwang in https://github.com/SVF-tools/SVF/pull/1283
• fix extapi.c and ExtAPI.cpp by @bjjwwang in https://github.com/SVF-tools/SVF/pull/1284
• add symbolic abstraction by @jiawei-95 in https://github.com/SVF-tools/SVF/pull/1287
• Fix matching parameters and return values for "OVERWRITE" functions a… by @shuangxiangkan in https://github.com/SVF-tools/SVF/pull/1285
• consider multiple uses of heap object by @Qcloud1223 in https://github.com/SVF-tools/SVF/pull/1293
• Get LLVMContext instance directly from llvm::Module when building SVFModule by @Johanmyst in https://github.com/SVF-tools/SVF/pull/1292
• infer number of fields of a heap object by @yuleisui in https://github.com/SVF-tools/SVF/pull/1290
• remove some opaque pointer dependencies by @jumormt in https://github.com/SVF-tools/SVF/pull/1295
• [WIP] remove getPtrElement by @jumormt in https://github.com/SVF-tools/SVF/pull/1296
• infer object type in "createObjTypeInfo" instead of "analyzeHeapObjType" by @yuleisui in https://github.com/SVF-tools/SVF/pull/1297
• bugfix: check return value of getenv by @sinotca529 in https://github.com/SVF-tools/SVF/pull/1300
• bugfix in AndersenPWC by @egnchen in https://github.com/SVF-tools/SVF/pull/1302
• Add -fno-rtti/fno-exceptions based on LLVM's configuration by @Johanmyst in https://github.com/SVF-tools/SVF/pull/1291
• make the pointee type related to gep more robust by @jumormt in https://github.com/SVF-tools/SVF/pull/1303
• -print-pts will now print the base and offset of a field object by @kisslune in https://github.com/SVF-tools/SVF/pull/1307
• fix issue #1306: compute vf guard for strong update in another branch by @jumormt in https://github.com/SVF-tools/SVF/pull/1309
• Fix bugs for big program by @bjjwwang in https://github.com/SVF-tools/SVF/pull/1310
• remove string include by @bjjwwang in https://github.com/SVF-tools/SVF/pull/1311

New Contributors

• @canliture made their first contribution in https://github.com/SVF-tools/SVF/pull/1160
• @hjjandy made their first contribution in https://github.com/SVF-tools/SVF/pull/1238
• @Qcloud1223 made their first contribution in https://github.com/SVF-tools/SVF/pull/1281
• @Johanmyst made their first contribution in https://github.com/SVF-tools/SVF/pull/1292
• @egnchen made their first contribution in https://github.com/SVF-tools/SVF/pull/1302

Full Changelog: https://github.com/SVF-tools/SVF/compare/SVF-2.7...SVF-2.8

What's Changed

1. Upgrade to LLVM-14.0
2. SVF File systems for SVFIR and llvm2svf
3. Abstract Execution with more classes
4. Bugevent
5. External API enhancement
6. Performance improvement and bug fixing
7. Support for extAPI.bc to be linked for analysis of the application bc
8. CFL implementation enhancement

New Contributors

• @ChoKyuWon made their first contribution in https://github.com/SVF-tools/SVF/pull/992
• @sinotca529 made their first contribution in https://github.com/SVF-tools/SVF/pull/1003
• @timmyyuan made their first contribution in https://github.com/SVF-tools/SVF/pull/1031
• @Shbinging made their first contribution in https://github.com/SVF-tools/SVF/pull/1055
• @JoelYYoung made their first contribution in https://github.com/SVF-tools/SVF/pull/1067
• @joeyjiaojg made their first contribution in https://github.com/SVF-tools/SVF/pull/1094
• @sfu2 made their first contribution in https://github.com/SVF-tools/SVF/pull/1105
• @acidghost made their first contribution in https://github.com/SVF-tools/SVF/pull/1116
• @furtherun made their first contribution in https://github.com/SVF-tools/SVF/pull/1126

Full Changelog: https://github.com/SVF-tools/SVF/compare/SVF-2.6...SVF-2.7

1. Improvements in SVF IR design and implementation (including SVFType, SVFValue, SVFModule)
2. Completely remove LLVM dependence (LLVM data structures are contained in the svf-llvm folder)
3. Abstract Execution
4. CMake simplified (two folders and generating svfcore.a and svfllvm.a)
5. Address sanitiser CI/CD
6. CFL POCR implementation
7. Reading external API summary from ExtAPI.json
8. Various bug fixings

1. SVF IR design and implementation (SVFStmt, SVFVar and etc.)
2. Refactoring to further remove LLVM dependence
3. General CFL implementation
4. External API implementation based on json read/write + programmatically side-effects
5. Write/read SVFG into/from a user-specified text file
6. Array-sensitive pointer analysis (-model-arrays)
7. Supporting data structure for symbolic solving (-model-consts)
8. Make version-based vfs pointer analysis multithreaded

1. Upgrade SVF to work on top of LLVM-13.0.0
2. OOPSLA/SAS papers' implementations
3. Read/write Andersen on LLVM IR
4. Remove redundant GepObj nodes (to address inconsistency results, need to take a further look later)
5. Saber refactoring
6. MTA refactoring

This is a release after upgrading SVF to LLVM-12.0.0