SVF-3.0

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

• Fully support for opaque pointers
• Object type inference
• ExtAPI improvement
• Abstract Interpretation API refactoring
• Symbolic abstraction implementation improvement in abstract execution.

In our next release, SVF will support LLVM-17 or 18.

What's Changed

• Add opaque pointer in extapi by @shuangxiangkan in #1355
• remove getbasevalvar in getgepval by @jumormt in #1356
• Bump LLVM to Version 16 by @jumormt in #1357
• use macos-latest for lib publish by @jumormt in #1358
• fix npm by @jumormt in #1359
• build extapi.bc before svfllvm by @jumormt in #1361
• softlink brew llvm install path to SVFHOME/LLVMHOME by @jumormt in #1362
• add AE stage 1 by @bjjwwang in #1360
• refactor / improve coverage / README by @bjjwwang in #1365
• update logo by @fengxxu in #1368
• Fix incomplete/incorrect PTA when using C++ namespaces & virtual functions by @Johanmyst in #1369
• add some comments for cpp type inference by @jumormt in #1371
• move libSvfCore and libSvfLLVM files to lib folder by @bjjwwang in #1366
• fix npm bin folder by @bjjwwang in #1372
• update readme by @fengxxu in #1373
• reduce copy include folder by @bjjwwang in #1377
• Fix incomplete/incorrect callgraphs due to incorrect class names by @Johanmyst in #1376
• refactor obj type inference by @jumormt in #1378
• Fix getMainLLVMModule() by @shuangxiangkan in #1382
• UbuntuArmLLVM link is not added in build.sh by @guanqin-123 in #1383
• Ae convert CFBBG to ICFG by @bjjwwang in #1384
• pull before formatting by @jumormt in #1385
• add simplify ICFG by @bjjwwang in #1386
• Converts a mangled name to C naming style to match functions in extapi.c by @shuangxiangkan in #1393
• fix some non-ret and unused var warning by @jumormt in #1396
• fix LD_LIBRARY_PATH error in setup.sh by @yaoyue123 in #1397
• refactor the PR of merging AE and AEAPI by @bjjwwang in #1395
• refactor: uses()/getUser() -> users() by @jumormt in #1400
• fix var arg and chgnode not found error by @jumormt in #1403
• Sync SVF-EX with https://github.com/SVF-tools/Test-Suite by @bjjwwang in #1404
• first commit of supporting zext and sext by @bjjwwang in #1398
• update AE library by @jiawei-95 in #1408
• set name for each value by @jumormt in #1409
• add x87 double float support, by @bjjwwang in #1412
• Fix #1370: Establish a copy edge for int2ptr instruction/constantexpr by @yuleisui in #1410
• Fix llvm assertion in removeFunAnnotations() by @shuangxiangkan in #1420
• add race checker by @yuleisui in #1419
• Add llvm-17.0.6 support by @adityavardhanpadala in #1422
• [WIP]add AbstractValue by @bjjwwang in #1423
• remove ExeState and rename SVFIR2ItvExeState to SVFIR2AbsState by @bjjwwang in #1426
• remove GlobalES and rename by @bjjwwang in #1428
• fix some bugs and remove some unused data by @bjjwwang in #1429
• rename some datas by @bjjwwang in #1431
• rename some data struct by @bjjwwang in #1434
• remove tmpes in SVFIR2AbsState by @bjjwwang in #1436
• rename es to as, getState to getAbsState by @bjjwwang in #1438
• add const to some funcs in SVFIR2AbsState by @bjjwwang in #1440
• add typeinference pattern: alloc->gep->store->gep->load (issue #1442) by @jumormt in #1443
• Fix bug and CI by @jumormt in #1446
• update xcode version by @jumormt in #1447
• brew install z3 by @jumormt in #1448
• Update build.sh by @bjjwwang in #1450
• Update build.sh by @bjjwwang in #1451
• Bump to LLVM 16.0.2 by @jumormt in #1452
• modification of outputs by @bjjwwang in #1453
• add IntervalValue and AddressValue operator= overload by @bjjwwang in #1456
• add boundedint by @jumormt in #1459
• remove some ambiguous API in AbstractValue by @bjjwwang in #1461
• refactor some api in intervalValue by @bjjwwang in #1462
• refactor APIs in AbstractState/Value by @bjjwwang in #1463
• State1 refactor SVFIR2AbsState by @bjjwwang in #1464
• stage2: refactor AbstractState/Value by @bjjwwang in #1465
• rename ICFGWTONode/Cycle by @bjjwwang in #1466
• add assertion message when calling lb/ub if interval is bottom, don't… by @jumormt in #1467
• add methods: getWTOComponents by @jumormt in #1469

New Contributors

• @fengxxu made their first contribution in #1368
• @yaoyue123 made their first contribution in #1397
• @adityavardhanpadala made their first contribution in #1422

Full Changelog: SVF-2.9...SVF-3.0