svf-lib 1.0.2319 → 1.0.2321

package/SVF-osx/Release-build/include/SVF/Util/Z3Expr.h

@@ -0,0 +1,325 @@
+//===- Z3Expr.h -- Z3 conditions----------------------------//
+//
+//                     SVF: Static Value-Flow Analysis
+//
+// Copyright (C) <2013-2017>  <Yulei Sui>
+//
+
+// This program is free software: you can redistribute it and/or modify
+// it under the terms of the GNU Affero General Public License as published by
+// the Free Software Foundation, either version 3 of the License, or
+// (at your option) any later version.
+
+// This program is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+// GNU Affero General Public License for more details.
+
+// You should have received a copy of the GNU Affero General Public License
+// along with this program.  If not, see <http://www.gnu.org/licenses/>.
+//
+//===----------------------------------------------------------------------===//
+/*
+ * Z3Expr.h
+ *
+ *  Created on: April 29, 2022
+ *      Author: Xiao
+ */
+
+#ifndef Z3_EXAMPLE_Z3EXPR_H
+#define Z3_EXAMPLE_Z3EXPR_H
+
+#include "z3++.h"
+#include "SVFIR/SVFType.h"
+
+namespace SVF
+{
+
+class Z3Expr
+{
+public:
+    static z3::context *ctx;
+    static z3::solver* solver;
+
+private:
+    z3::expr e;
+
+
+
+public:
+
+    Z3Expr() : e(nullExpr())
+    {
+    }
+
+    Z3Expr(const z3::expr &_e) : e(_e)
+    {
+    }
+
+    Z3Expr(int i) : e(getContext().int_val(i))
+    {
+    }
+
+    Z3Expr(const Z3Expr &z3Expr) : e(z3Expr.getExpr())
+    {
+    }
+
+    Z3Expr(float f) : Z3Expr((double) f)
+    {
+    }
+
+    Z3Expr(double f): e(getContext().real_val(std::to_string(f).c_str()))
+    {
+    }
+
+    virtual ~Z3Expr() = default;
+
+    inline Z3Expr &operator=(const Z3Expr &rhs)
+    {
+        if (this->id() != rhs.id())
+        {
+            e = rhs.getExpr();
+        }
+        return *this;
+    }
+
+    const z3::expr &getExpr() const
+    {
+        return e;
+    }
+
+    /// Get z3 solver, singleton design here to make sure we only have one context
+    static z3::solver &getSolver();
+
+    /// Get z3 context, singleton design here to make sure we only have one context
+    static z3::context &getContext();
+
+    /// release z3 context
+    static void releaseContext();
+
+    /// release z3 solver
+    static void releaseSolver();
+
+
+    /// null expression
+    static z3::expr nullExpr()
+    {
+        return getContext().int_const("null");
+    }
+
+    /// get id
+    inline u32_t id() const
+    {
+        return e.id();
+    }
+
+    /// get hash id
+    inline u32_t hash() const
+    {
+        return e.hash();
+    }
+
+    inline const std::string to_string() const
+    {
+        return e.to_string();
+    }
+
+    inline bool is_numeral() const
+    {
+        return e.is_numeral();
+    }
+
+    inline bool is_bool() const
+    {
+        return e.is_bool();
+    }
+
+    inline Z3Expr simplify() const
+    {
+        return e.simplify();
+    }
+
+    inline int64_t get_numeral_int64() const
+    {
+        return e.get_numeral_int64();
+    }
+
+    inline int get_numeral_int() const
+    {
+        return e.get_numeral_int();
+    }
+
+    //{% reload operator
+    friend Z3Expr operator==(const Z3Expr &lhs, const Z3Expr &rhs)
+    {
+        return lhs.getExpr() == rhs.getExpr();
+    }
+
+    friend Z3Expr operator!=(const Z3Expr &lhs, const Z3Expr &rhs)
+    {
+        return lhs.getExpr() != rhs.getExpr();
+    }
+
+    friend Z3Expr operator>(const Z3Expr &lhs, const Z3Expr &rhs)
+    {
+        return lhs.getExpr() > rhs.getExpr();
+    }
+
+    friend Z3Expr operator<(const Z3Expr &lhs, const Z3Expr &rhs)
+    {
+        return lhs.getExpr() < rhs.getExpr();
+    }
+
+    friend Z3Expr operator<=(const Z3Expr &lhs, const Z3Expr &rhs)
+    {
+        return lhs.getExpr() <= rhs.getExpr();
+    }
+
+    friend Z3Expr operator>=(const Z3Expr &lhs, const Z3Expr &rhs)
+    {
+        return lhs.getExpr() >= rhs.getExpr();
+    }
+
+    friend Z3Expr operator+(const Z3Expr &lhs, const Z3Expr &rhs)
+    {
+        return lhs.getExpr() + rhs.getExpr();
+    }
+
+    friend Z3Expr operator-(const Z3Expr &lhs, const Z3Expr &rhs)
+    {
+        return lhs.getExpr() - rhs.getExpr();
+    }
+
+    friend Z3Expr operator*(const Z3Expr &lhs, const Z3Expr &rhs)
+    {
+        return lhs.getExpr() * rhs.getExpr();
+    }
+
+    friend Z3Expr operator/(const Z3Expr &lhs, const Z3Expr &rhs)
+    {
+        return lhs.getExpr() / rhs.getExpr();
+    }
+
+    friend Z3Expr operator%(const Z3Expr &lhs, const Z3Expr &rhs)
+    {
+        return lhs.getExpr() % rhs.getExpr();
+    }
+
+    friend Z3Expr operator^(const Z3Expr &lhs, const Z3Expr &rhs)
+    {
+        return lhs.getExpr() ^ rhs.getExpr();
+    }
+
+    friend Z3Expr operator&(const Z3Expr &lhs, const Z3Expr &rhs)
+    {
+        return lhs.getExpr() & rhs.getExpr();
+    }
+
+    friend Z3Expr operator|(const Z3Expr &lhs, const Z3Expr &rhs)
+    {
+        return lhs.getExpr() | rhs.getExpr();
+    }
+
+    friend Z3Expr ashr(const Z3Expr &lhs, const Z3Expr &rhs)
+    {
+        return ashr(lhs.getExpr(), rhs.getExpr());
+    }
+
+    friend Z3Expr shl(const Z3Expr &lhs, const Z3Expr &rhs)
+    {
+        return shl(lhs.getExpr(), rhs.getExpr());
+    }
+
+    friend Z3Expr int2bv(u32_t n, const Z3Expr &e)
+    {
+        return int2bv(n, e.getExpr());
+    }
+
+    friend Z3Expr bv2int(const Z3Expr &e, bool isSigned)
+    {
+        return z3::bv2int(e.getExpr(), isSigned);
+    }
+
+    friend Z3Expr operator&&(const Z3Expr &lhs, const Z3Expr &rhs)
+    {
+        return lhs.getExpr() && rhs.getExpr();
+    }
+
+    friend Z3Expr operator||(const Z3Expr &lhs, const Z3Expr &rhs)
+    {
+        return lhs.getExpr() || rhs.getExpr();
+    }
+
+    friend Z3Expr operator!(const Z3Expr &lhs)
+    {
+        return !lhs.getExpr();
+    }
+
+    friend Z3Expr ite(const Z3Expr &cond, const Z3Expr &lhs, const Z3Expr &rhs)
+    {
+        return ite(cond.getExpr(), lhs.getExpr(), rhs.getExpr());
+    }
+
+    friend std::ostream &operator<<(std::ostream &out, const Z3Expr &expr)
+    {
+        out << expr.getExpr();
+        return out;
+    }
+
+    friend bool eq(const Z3Expr &lhs, const Z3Expr &rhs)
+    {
+        return eq(lhs.getExpr().simplify(), rhs.getExpr().simplify());
+    }
+
+    z3::sort get_sort() const
+    {
+        return getExpr().get_sort();
+    }
+    //%}
+
+    /// output Z3 expression as a string
+    static std::string dumpStr(const Z3Expr &z3Expr);
+
+
+    /// get the number of subexpression of a Z3 expression
+    static u32_t getExprSize(const Z3Expr &z3Expr);
+
+    /// Return the unique true condition
+    static inline Z3Expr getTrueCond()
+    {
+        return getContext().bool_val(true);
+    }
+
+
+    /// Return the unique false condition
+    static inline Z3Expr getFalseCond()
+    {
+        return getContext().bool_val(false);
+    }
+
+    /// compute NEG
+    static inline Z3Expr NEG(const Z3Expr &z3Expr)
+    {
+        return (!z3Expr).simplify();
+    }
+
+    /// compute AND, used for branch condition
+    static Z3Expr AND(const Z3Expr &lhs, const Z3Expr &rhs);
+
+    /// compute OR, used for branch condition
+    static Z3Expr OR(const Z3Expr &lhs, const Z3Expr &rhs);
+};
+} // End namespace SVF
+
+/// Specialise hash for AbsCxtDPItem.
+template<>
+struct std::hash<SVF::Z3Expr>
+{
+    size_t operator()(const SVF::Z3Expr &z3Expr) const
+    {
+        return z3Expr.id();
+    }
+};
+
+#endif //Z3_EXAMPLE_Z3EXPR_H
+

package/SVF-osx/Release-build/include/SVF/Util/cJSON.h

@@ -0,0 +1,300 @@
+/*
+  Copyright (c) 2009-2017 Dave Gamble and cJSON contributors
+
+  Permission is hereby granted, free of charge, to any person obtaining a copy
+  of this software and associated documentation files (the "Software"), to deal
+  in the Software without restriction, including without limitation the rights
+  to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+  copies of the Software, and to permit persons to whom the Software is
+  furnished to do so, subject to the following conditions:
+
+  The above copyright notice and this permission notice shall be included in
+  all copies or substantial portions of the Software.
+
+  THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+  IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+  FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+  AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+  LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+  OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
+  THE SOFTWARE.
+*/
+
+#ifndef cJSON__h
+#define cJSON__h
+
+#ifdef __cplusplus
+extern "C"
+{
+#endif
+
+#if !defined(__WINDOWS__) && (defined(WIN32) || defined(WIN64) || defined(_MSC_VER) || defined(_WIN32))
+#define __WINDOWS__
+#endif
+
+#ifdef __WINDOWS__
+
+/* When compiling for windows, we specify a specific calling convention to avoid issues where we are being called from a project with a different default calling convention.  For windows you have 3 define options:
+
+CJSON_HIDE_SYMBOLS - Define this in the case where you don't want to ever dllexport symbols
+CJSON_EXPORT_SYMBOLS - Define this on library build when you want to dllexport symbols (default)
+CJSON_IMPORT_SYMBOLS - Define this if you want to dllimport symbol
+
+For *nix builds that support visibility attribute, you can define similar behavior by
+
+setting default visibility to hidden by adding
+-fvisibility=hidden (for gcc)
+or
+-xldscope=hidden (for sun cc)
+to CFLAGS
+
+then using the CJSON_API_VISIBILITY flag to "export" the same symbols the way CJSON_EXPORT_SYMBOLS does
+
+*/
+
+#define CJSON_CDECL __cdecl
+#define CJSON_STDCALL __stdcall
+
+/* export symbols by default, this is necessary for copy pasting the C and header file */
+#if !defined(CJSON_HIDE_SYMBOLS) && !defined(CJSON_IMPORT_SYMBOLS) && !defined(CJSON_EXPORT_SYMBOLS)
+#define CJSON_EXPORT_SYMBOLS
+#endif
+
+#if defined(CJSON_HIDE_SYMBOLS)
+#define CJSON_PUBLIC(type)   type CJSON_STDCALL
+#elif defined(CJSON_EXPORT_SYMBOLS)
+#define CJSON_PUBLIC(type)   __declspec(dllexport) type CJSON_STDCALL
+#elif defined(CJSON_IMPORT_SYMBOLS)
+#define CJSON_PUBLIC(type)   __declspec(dllimport) type CJSON_STDCALL
+#endif
+#else /* !__WINDOWS__ */
+#define CJSON_CDECL
+#define CJSON_STDCALL
+
+#if (defined(__GNUC__) || defined(__SUNPRO_CC) || defined (__SUNPRO_C)) && defined(CJSON_API_VISIBILITY)
+#define CJSON_PUBLIC(type)   __attribute__((visibility("default"))) type
+#else
+#define CJSON_PUBLIC(type) type
+#endif
+#endif
+
+/* project version */
+#define CJSON_VERSION_MAJOR 1
+#define CJSON_VERSION_MINOR 7
+#define CJSON_VERSION_PATCH 15
+
+#include <stddef.h>
+
+/* cJSON Types: */
+#define cJSON_Invalid (0)
+#define cJSON_False  (1 << 0)
+#define cJSON_True   (1 << 1)
+#define cJSON_NULL   (1 << 2)
+#define cJSON_Number (1 << 3)
+#define cJSON_String (1 << 4)
+#define cJSON_Array  (1 << 5)
+#define cJSON_Object (1 << 6)
+#define cJSON_Raw    (1 << 7) /* raw json */
+
+#define cJSON_IsReference 256
+#define cJSON_StringIsConst 512
+
+/* The cJSON structure: */
+typedef struct cJSON
+{
+    /* next/prev allow you to walk array/object chains. Alternatively, use GetArraySize/GetArrayItem/GetObjectItem */
+    struct cJSON *next;
+    struct cJSON *prev;
+    /* An array or object item will have a child pointer pointing to a chain of the items in the array/object. */
+    struct cJSON *child;
+
+    /* The type of the item, as above. */
+    int type;
+
+    /* The item's string, if type==cJSON_String and type == cJSON_Raw */
+    char *valuestring;
+    /* writing to valueint is DEPRECATED, use cJSON_SetNumberValue instead */
+    int valueint;
+    /* The item's number, if type==cJSON_Number */
+    double valuedouble;
+
+    /* The item's name string, if this item is the child of, or is in the list of subitems of an object. */
+    char *string;
+} cJSON;
+
+typedef struct cJSON_Hooks
+{
+    /* malloc/free are CDECL on Windows regardless of the default calling convention of the compiler, so ensure the hooks allow passing those functions directly. */
+    void *(CJSON_CDECL *malloc_fn)(size_t sz);
+    void (CJSON_CDECL *free_fn)(void *ptr);
+} cJSON_Hooks;
+
+typedef int cJSON_bool;
+
+/* Limits how deeply nested arrays/objects can be before cJSON rejects to parse them.
+ * This is to prevent stack overflows. */
+#ifndef CJSON_NESTING_LIMIT
+#define CJSON_NESTING_LIMIT 1000
+#endif
+
+/* returns the version of cJSON as a string */
+CJSON_PUBLIC(const char*) cJSON_Version(void);
+
+/* Supply malloc, realloc and free functions to cJSON */
+CJSON_PUBLIC(void) cJSON_InitHooks(cJSON_Hooks* hooks);
+
+/* Memory Management: the caller is always responsible to free the results from all variants of cJSON_Parse (with cJSON_Delete) and cJSON_Print (with stdlib free, cJSON_Hooks.free_fn, or cJSON_free as appropriate). The exception is cJSON_PrintPreallocated, where the caller has full responsibility of the buffer. */
+/* Supply a block of JSON, and this returns a cJSON object you can interrogate. */
+CJSON_PUBLIC(cJSON *) cJSON_Parse(const char *value);
+CJSON_PUBLIC(cJSON *) cJSON_ParseWithLength(const char *value, size_t buffer_length);
+/* ParseWithOpts allows you to require (and check) that the JSON is null terminated, and to retrieve the pointer to the final byte parsed. */
+/* If you supply a ptr in return_parse_end and parsing fails, then return_parse_end will contain a pointer to the error so will match cJSON_GetErrorPtr(). */
+CJSON_PUBLIC(cJSON *) cJSON_ParseWithOpts(const char *value, const char **return_parse_end, cJSON_bool require_null_terminated);
+CJSON_PUBLIC(cJSON *) cJSON_ParseWithLengthOpts(const char *value, size_t buffer_length, const char **return_parse_end, cJSON_bool require_null_terminated);
+
+/* Render a cJSON entity to text for transfer/storage. */
+CJSON_PUBLIC(char *) cJSON_Print(const cJSON *item);
+/* Render a cJSON entity to text for transfer/storage without any formatting. */
+CJSON_PUBLIC(char *) cJSON_PrintUnformatted(const cJSON *item);
+/* Render a cJSON entity to text using a buffered strategy. prebuffer is a guess at the final size. guessing well reduces reallocation. fmt=0 gives unformatted, =1 gives formatted */
+CJSON_PUBLIC(char *) cJSON_PrintBuffered(const cJSON *item, int prebuffer, cJSON_bool fmt);
+/* Render a cJSON entity to text using a buffer already allocated in memory with given length. Returns 1 on success and 0 on failure. */
+/* NOTE: cJSON is not always 100% accurate in estimating how much memory it will use, so to be safe allocate 5 bytes more than you actually need */
+CJSON_PUBLIC(cJSON_bool) cJSON_PrintPreallocated(cJSON *item, char *buffer, const int length, const cJSON_bool format);
+/* Delete a cJSON entity and all subentities. */
+CJSON_PUBLIC(void) cJSON_Delete(cJSON *item);
+
+/* Returns the number of items in an array (or object). */
+CJSON_PUBLIC(int) cJSON_GetArraySize(const cJSON *array);
+/* Retrieve item number "index" from array "array". Returns NULL if unsuccessful. */
+CJSON_PUBLIC(cJSON *) cJSON_GetArrayItem(const cJSON *array, int index);
+/* Get item "string" from object. Case insensitive. */
+CJSON_PUBLIC(cJSON *) cJSON_GetObjectItem(const cJSON * const object, const char * const string);
+CJSON_PUBLIC(cJSON *) cJSON_GetObjectItemCaseSensitive(const cJSON * const object, const char * const string);
+CJSON_PUBLIC(cJSON_bool) cJSON_HasObjectItem(const cJSON *object, const char *string);
+/* For analysing failed parses. This returns a pointer to the parse error. You'll probably need to look a few chars back to make sense of it. Defined when cJSON_Parse() returns 0. 0 when cJSON_Parse() succeeds. */
+CJSON_PUBLIC(const char *) cJSON_GetErrorPtr(void);
+
+/* Check item type and return its value */
+CJSON_PUBLIC(char *) cJSON_GetStringValue(const cJSON * const item);
+CJSON_PUBLIC(double) cJSON_GetNumberValue(const cJSON * const item);
+
+/* These functions check the type of an item */
+CJSON_PUBLIC(cJSON_bool) cJSON_IsInvalid(const cJSON * const item);
+CJSON_PUBLIC(cJSON_bool) cJSON_IsFalse(const cJSON * const item);
+CJSON_PUBLIC(cJSON_bool) cJSON_IsTrue(const cJSON * const item);
+CJSON_PUBLIC(cJSON_bool) cJSON_IsBool(const cJSON * const item);
+CJSON_PUBLIC(cJSON_bool) cJSON_IsNull(const cJSON * const item);
+CJSON_PUBLIC(cJSON_bool) cJSON_IsNumber(const cJSON * const item);
+CJSON_PUBLIC(cJSON_bool) cJSON_IsString(const cJSON * const item);
+CJSON_PUBLIC(cJSON_bool) cJSON_IsArray(const cJSON * const item);
+CJSON_PUBLIC(cJSON_bool) cJSON_IsObject(const cJSON * const item);
+CJSON_PUBLIC(cJSON_bool) cJSON_IsRaw(const cJSON * const item);
+
+/* These calls create a cJSON item of the appropriate type. */
+CJSON_PUBLIC(cJSON *) cJSON_CreateNull(void);
+CJSON_PUBLIC(cJSON *) cJSON_CreateTrue(void);
+CJSON_PUBLIC(cJSON *) cJSON_CreateFalse(void);
+CJSON_PUBLIC(cJSON *) cJSON_CreateBool(cJSON_bool boolean);
+CJSON_PUBLIC(cJSON *) cJSON_CreateNumber(double num);
+CJSON_PUBLIC(cJSON *) cJSON_CreateString(const char *string);
+/* raw json */
+CJSON_PUBLIC(cJSON *) cJSON_CreateRaw(const char *raw);
+CJSON_PUBLIC(cJSON *) cJSON_CreateArray(void);
+CJSON_PUBLIC(cJSON *) cJSON_CreateObject(void);
+
+/* Create a string where valuestring references a string so
+ * it will not be freed by cJSON_Delete */
+CJSON_PUBLIC(cJSON *) cJSON_CreateStringReference(const char *string);
+/* Create an object/array that only references it's elements so
+ * they will not be freed by cJSON_Delete */
+CJSON_PUBLIC(cJSON *) cJSON_CreateObjectReference(const cJSON *child);
+CJSON_PUBLIC(cJSON *) cJSON_CreateArrayReference(const cJSON *child);
+
+/* These utilities create an Array of count items.
+ * The parameter count cannot be greater than the number of elements in the number array, otherwise array access will be out of bounds.*/
+CJSON_PUBLIC(cJSON *) cJSON_CreateIntArray(const int *numbers, int count);
+CJSON_PUBLIC(cJSON *) cJSON_CreateFloatArray(const float *numbers, int count);
+CJSON_PUBLIC(cJSON *) cJSON_CreateDoubleArray(const double *numbers, int count);
+CJSON_PUBLIC(cJSON *) cJSON_CreateStringArray(const char *const *strings, int count);
+
+/* Append item to the specified array/object. */
+CJSON_PUBLIC(cJSON_bool) cJSON_AddItemToArray(cJSON *array, cJSON *item);
+CJSON_PUBLIC(cJSON_bool) cJSON_AddItemToObject(cJSON *object, const char *string, cJSON *item);
+/* Use this when string is definitely const (i.e. a literal, or as good as), and will definitely survive the cJSON object.
+ * WARNING: When this function was used, make sure to always check that (item->type & cJSON_StringIsConst) is zero before
+ * writing to `item->string` */
+CJSON_PUBLIC(cJSON_bool) cJSON_AddItemToObjectCS(cJSON *object, const char *string, cJSON *item);
+/* Append reference to item to the specified array/object. Use this when you want to add an existing cJSON to a new cJSON, but don't want to corrupt your existing cJSON. */
+CJSON_PUBLIC(cJSON_bool) cJSON_AddItemReferenceToArray(cJSON *array, cJSON *item);
+CJSON_PUBLIC(cJSON_bool) cJSON_AddItemReferenceToObject(cJSON *object, const char *string, cJSON *item);
+
+/* Remove/Detach items from Arrays/Objects. */
+CJSON_PUBLIC(cJSON *) cJSON_DetachItemViaPointer(cJSON *parent, cJSON * const item);
+CJSON_PUBLIC(cJSON *) cJSON_DetachItemFromArray(cJSON *array, int which);
+CJSON_PUBLIC(void) cJSON_DeleteItemFromArray(cJSON *array, int which);
+CJSON_PUBLIC(cJSON *) cJSON_DetachItemFromObject(cJSON *object, const char *string);
+CJSON_PUBLIC(cJSON *) cJSON_DetachItemFromObjectCaseSensitive(cJSON *object, const char *string);
+CJSON_PUBLIC(void) cJSON_DeleteItemFromObject(cJSON *object, const char *string);
+CJSON_PUBLIC(void) cJSON_DeleteItemFromObjectCaseSensitive(cJSON *object, const char *string);
+
+/* Update array items. */
+CJSON_PUBLIC(cJSON_bool) cJSON_InsertItemInArray(cJSON *array, int which, cJSON *newitem); /* Shifts pre-existing items to the right. */
+CJSON_PUBLIC(cJSON_bool) cJSON_ReplaceItemViaPointer(cJSON * const parent, cJSON * const item, cJSON * replacement);
+CJSON_PUBLIC(cJSON_bool) cJSON_ReplaceItemInArray(cJSON *array, int which, cJSON *newitem);
+CJSON_PUBLIC(cJSON_bool) cJSON_ReplaceItemInObject(cJSON *object,const char *string,cJSON *newitem);
+CJSON_PUBLIC(cJSON_bool) cJSON_ReplaceItemInObjectCaseSensitive(cJSON *object,const char *string,cJSON *newitem);
+
+/* Duplicate a cJSON item */
+CJSON_PUBLIC(cJSON *) cJSON_Duplicate(const cJSON *item, cJSON_bool recurse);
+/* Duplicate will create a new, identical cJSON item to the one you pass, in new memory that will
+ * need to be released. With recurse!=0, it will duplicate any children connected to the item.
+ * The item->next and ->prev pointers are always zero on return from Duplicate. */
+/* Recursively compare two cJSON items for equality. If either a or b is NULL or invalid, they will be considered unequal.
+ * case_sensitive determines if object keys are treated case sensitive (1) or case insensitive (0) */
+CJSON_PUBLIC(cJSON_bool) cJSON_Compare(const cJSON * const a, const cJSON * const b, const cJSON_bool case_sensitive);
+
+/* Minify a strings, remove blank characters(such as ' ', '\t', '\r', '\n') from strings.
+ * The input pointer json cannot point to a read-only address area, such as a string constant,
+ * but should point to a readable and writable address area. */
+CJSON_PUBLIC(void) cJSON_Minify(char *json);
+
+/* Helper functions for creating and adding items to an object at the same time.
+ * They return the added item or NULL on failure. */
+CJSON_PUBLIC(cJSON*) cJSON_AddNullToObject(cJSON * const object, const char * const name);
+CJSON_PUBLIC(cJSON*) cJSON_AddTrueToObject(cJSON * const object, const char * const name);
+CJSON_PUBLIC(cJSON*) cJSON_AddFalseToObject(cJSON * const object, const char * const name);
+CJSON_PUBLIC(cJSON*) cJSON_AddBoolToObject(cJSON * const object, const char * const name, const cJSON_bool boolean);
+CJSON_PUBLIC(cJSON*) cJSON_AddNumberToObject(cJSON * const object, const char * const name, const double number);
+CJSON_PUBLIC(cJSON*) cJSON_AddStringToObject(cJSON * const object, const char * const name, const char * const string);
+CJSON_PUBLIC(cJSON*) cJSON_AddRawToObject(cJSON * const object, const char * const name, const char * const raw);
+CJSON_PUBLIC(cJSON*) cJSON_AddObjectToObject(cJSON * const object, const char * const name);
+CJSON_PUBLIC(cJSON*) cJSON_AddArrayToObject(cJSON * const object, const char * const name);
+
+/* When assigning an integer value, it needs to be propagated to valuedouble too. */
+#define cJSON_SetIntValue(object, number) ((object) ? (object)->valueint = (object)->valuedouble = (number) : (number))
+/* helper for the cJSON_SetNumberValue macro */
+CJSON_PUBLIC(double) cJSON_SetNumberHelper(cJSON *object, double number);
+#define cJSON_SetNumberValue(object, number) ((object != NULL) ? cJSON_SetNumberHelper(object, (double)number) : (number))
+/* Change the valuestring of a cJSON_String object, only takes effect when type of object is cJSON_String */
+CJSON_PUBLIC(char*) cJSON_SetValuestring(cJSON *object, const char *valuestring);
+
+/* If the object is not a boolean type this does nothing and returns cJSON_Invalid else it returns the new type*/
+#define cJSON_SetBoolValue(object, boolValue) ( \
+    (object != NULL && ((object)->type & (cJSON_False|cJSON_True))) ? \
+    (object)->type=((object)->type &(~(cJSON_False|cJSON_True)))|((boolValue)?cJSON_True:cJSON_False) : \
+    cJSON_Invalid\
+)
+
+/* Macro for iterating over an array or object */
+#define cJSON_ArrayForEach(element, array) for(element = (array != NULL) ? (array)->child : NULL; element != NULL; element = element->next)
+
+/* malloc/free objects using the malloc/free functions that have been set with cJSON_InitHooks */
+CJSON_PUBLIC(void *) cJSON_malloc(size_t size);
+CJSON_PUBLIC(void) cJSON_free(void *object);
+
+#ifdef __cplusplus
+}
+#endif
+
+#endif

package/SVF-osx/Release-build/include/SVF/Util/config.h

@@ -0,0 +1,46 @@
+/**
+ * SVF instance configuration header
+ *
+ * WARNING: This file is automatically generated; changes will be overwritten!
+ *
+ */
+
+#ifndef SVF_CONFIG_H_IN
+#define SVF_CONFIG_H_IN
+
+// Expose base properties of this SVF instance
+#define SVF_VERSION "3.1"
+#define SVF_BUILD_TYPE "Release"
+#define SVF_C_STANDARD "11"
+#define SVF_CXX_STANDARD "17"
+#define SVF_SHARED_LIBS 1
+#define SVF_C_EXTENSIONS 0
+#define SVF_CXX_EXTENSIONS 0
+#define SVF_C_STANDARD_REQUIRED 0
+#define SVF_CXX_STANDARD_REQUIRED 0
+
+// Expose configurable build options for this SVF instance
+#define SVF_NO_EH 0
+#define SVF_NO_RTTI 0
+#define SVF_USE_PIC 1
+#define SVF_USE_LTO 0
+#define SVF_USE_LLD 0
+#define SVF_COVERAGE 0
+#define SVF_DEBUG_INFO 0
+#define SVF_WARN_AS_ERROR 1
+#define SVF_EXPORT_DYNAMIC 0
+#define SVF_ENABLE_ASSERTIONS 1
+/* #undef SVF_SANITIZE */
+
+// Expose the source/build locations of this SVF instance; only for legacy
+// use-cases; should not be used directly by end users!
+#define SVF_BUILD_EXTAPI_BC "/Users/runner/work/SVF/SVF/Release-build/lib/extapi.bc"
+#define SVF_SOURCE_DIR "/Users/runner/work/SVF/SVF"
+#define SVF_BUILD_DIR ""
+
+// Define fallback for installed extapi.bc location to build tree's extapi.bc
+#ifndef SVF_INSTALL_EXTAPI_BC
+#    define SVF_INSTALL_EXTAPI_BC SVF_BUILD_EXTAPI_BC
+#endif
+
+#endif // SVF_CONFIG_H_IN