Search Results for "solid"
Sort By:
Showing 1 open source project for "solid"
View related business solutions-
$300 Free Credits to Build on Google CloudPut your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
-
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
1
bugst
Do you want to implement your new program analysis quicky? Use bugst!
...The second important goal of Bugst is improving scalability of its libraries to programs used in practice, since experiments performed on such programs usually give solid experimental evidence of practical usability of the evaluated method. Bugst's important content: * lonka - Control-flow graph based program representation. * symtex - Program analysis called Symbolic Execution * cosymtex - Program analysis called Compact Symbolic Execution * segy - Symbolic Memory with pointers and pointer arithmetic * llvm2celllvm - Translates LLVM to constant-expressions-less LLVM...
- Previous
- You're on page 1
- Next
