SVF-2.9

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

Full Changelog: SVF-2.8...SVF-2.9