=========================================================== .___ __ __ _________________ __ __ __| _/|__|/ |_ / ___\_` __ \__ \ | | \/ __ | | \\_ __\ / /_/ > | \// __ \| | / /_/ | | || | \___ /|__| (____ /____/\____ | |__||__| /_____/ \/ \/ grep rough audit - static analysis tool v2.8 written by @Wireghoul =================================[justanotherhacker.com]=== clasp-3.3.5/clasp/solver_strategies.h-100-//! Returns the idx'th value of the arithmetic sequence with the given addend. clasp-3.3.5/clasp/solver_strategies.h:101:double addR(uint32 idx, double a); clasp-3.3.5/clasp/solver_strategies.h-102- ############################################## clasp-3.3.5/cmake/clasp-config.cmake.in:1:include("${CMAKE_CURRENT_LIST_DIR}/clasp.cmake") clasp-3.3.5/cmake/clasp-config.cmake.in-2- ############################################## clasp-3.3.5/libpotassco/cmake/potassco-config.cmake:1:include("${CMAKE_CURRENT_LIST_DIR}/potassco.cmake") clasp-3.3.5/libpotassco/cmake/potassco-config.cmake-2- ############################################## clasp-3.3.5/libpotassco/tests/catch.hpp-2105- #if defined(__GNUC__) && (defined(__i386) || defined(__x86_64)) clasp-3.3.5/libpotassco/tests/catch.hpp:2106: #define CATCH_TRAP() asm volatile ("int $3") clasp-3.3.5/libpotassco/tests/catch.hpp-2107- #else // Fall back to the generic way. ############################################## clasp-3.3.5/src/clause.cpp-501- // https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81365 clasp-3.3.5/src/clause.cpp:502: asm volatile("" ::: "memory"); clasp-3.3.5/src/clause.cpp-503-#endif ############################################## clasp-3.3.5/src/solver_strategies.cpp-87-double growR(uint32 idx, double g) { return pow(g, (double)idx); } clasp-3.3.5/src/solver_strategies.cpp:88:double addR(uint32 idx, double a) { return a * idx; } clasp-3.3.5/src/solver_strategies.cpp-89-uint32 lubyR(uint32 idx) { ############################################## clasp-3.3.5/src/solver_strategies.cpp-106- if (base == 0) return UINT64_MAX; clasp-3.3.5/src/solver_strategies.cpp:107: else if (type == t_add) return static_cast<uint64>(addR(idx, grow) + base); clasp-3.3.5/src/solver_strategies.cpp-108- else if (type == t_luby)return static_cast<uint64>(lubyR(idx)) * base; ############################################## clasp-3.3.5/tests/catch.hpp-2118- #if defined(__GNUC__) && (defined(__i386) || defined(__x86_64)) clasp-3.3.5/tests/catch.hpp:2119: #define CATCH_TRAP() asm volatile ("int $3") clasp-3.3.5/tests/catch.hpp-2120- #else // Fall back to the generic way. ############################################## clasp-3.3.5/tools/generate-pcs.sh-17- --arg-values*) clasp-3.3.5/tools/generate-pcs.sh:18: T=`echo "$1"| sed 's/^--[a-z-]*=*//'` clasp-3.3.5/tools/generate-pcs.sh-19- if [ -z "$T" ]; then