Search Results for "symbolic execution"
Sort By:
Showing 16 open source projects for "symbolic execution"
View related business solutions-
Try Google Cloud Risk-Free With $300 in CreditUse your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
-
Full-stack observability with actually useful AI | Grafana CloudBuilt on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
-
1
Cryptol
Cryptol: The Language of Cryptography
...Developed by Galois, Cryptol provides a high-level mathematical syntax for describing cryptographic primitives and enables formal verification of algorithm properties. It is used in academic, research, and defense sectors to validate correctness and security through symbolic execution and model checking, ensuring critical cryptographic code is free of design flaws. -
2
Agents 2.0
An Open-source Framework for Data-centric Language Agents
Agents is an open-source framework designed to build and train autonomous language agents through a data-centric and learning-oriented architecture. The project introduces a concept known as agent symbolic learning, which treats an agent pipeline similarly to a neural network computational graph. In this framework, each node in the pipeline represents a step in the reasoning or action process, while prompts and tools act as adjustable parameters analogous to neural network weights. During training, the system performs a forward execution where the agent completes a task and records the trajectory of prompts, outputs, and tool usage. ... -
3
FHEVM
Integrate FHE with blockchain applications
FHEVM is a framework built by Zama to enable confidential smart contracts on EVM-compatible blockchains using Fully Homomorphic Encryption (FHE). It lets developers write Solidity contracts that handle encrypted inputs, encrypted state, arithmetic and logical operations on encrypted types, while maintaining privacy (data always encrypted), composability (encrypted state works alongside public state), and security (via threshold decryption, KMS, etc). The framework includes on-chain and... -
4
HanoiVM
HanoiVM is a recursive, AI-augmented ternary virtual machine
🚀 HanoiVM — Recursive Ternary Virtual Machine **HanoiVM** is a recursive, AI-augmented **ternary virtual machine** built on a symbolic base-81 architecture. It is the execution core of the **Axion + T81Lang** ecosystem, enabling stack-tier promotion, symbolic AI opcodes, and entropy-aware transformations across three levels of logic: - 🔹 `T81`: 81-bit operand logic (register-like) - 🔸 `T243`: Symbolic BigInt + FSM state logic - 🔺 `T729`: Tensor-based AI macros with semantic dispatch Designed for research, language development, and future ternary hardware acceleration, **HanoiVM** is literate, modular, and fully recursive. -
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
5
Mythril
Security analysis tool for EVM bytecode. Supports smart contracts
Mythril is a security analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains. It uses symbolic execution, SMT solving and taint analysis to detect a variety of security vulnerabilities. It's also used (in combination with other tools and techniques) in the MythX security analysis platform. If you are a smart contract developer, we recommend using MythX tools which are optimized for usability and cover a wider range of security issues. ... -
6
MXNet
Lightweight, Portable, Flexible Distributed/Mobile Deep Learning
...A graph optimization layer on top of that makes symbolic execution fast and memory efficient. MXNet is portable and lightweight, scalable to many GPUs and machines. Apache MXNet is more than a deep learning project. It is a community on a mission of democratizing AI. It is a collection of blue prints and guidelines for building deep learning systems, and interesting insights of DL systems for hackers. -
7
Manticore
Symbolic execution tool
Manticore helps us quickly take advantage of symbolic execution, taint analysis, and instrumentation to analyze binaries. Parts of Manticore underpinned our symbolic execution capabilities in the Cyber Grand Challenge. As an open-source tool, we hope that others can take advantage of these capabilities in their own projects. We prioritized simplicity and usability while building Manticore. -
8
Triton
Triton is a dynamic binary analysis library
Triton is a dynamic binary analysis library. It provides internal components that allow you to build your program analysis tools, automate reverse engineering, perform software verification or just emulate code. Linux, Windows and OS X compatible. You can directly compile source code from our Github repository. The Triton library is Linux, Windows and OS X compatible. A potential way to getting started is to see our Python examples already bootstrapped. -
9
Dapp tools by DappHub
Dapp, Seth, Hevm, and more
Command line tools and smart contract libraries for Ethereum smart contract development. All you need Ethereum development tool. Build, test, fuzz, formally verify, debug & deploy solidity contracts. Ethereum CLI. Query contracts, send transactions, follow logs, slice & dice data. Testing-oriented EVM implementation. Debug, fuzz, or symbolically execute code against local or mainnet state. Sign Ethereum transactions from a local keystore or hardware wallet. dapptools is currently in a stage... -
AI-powered service management for IT and enterprise teamsGive your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
-
10
Kotlingrad
Shape-Safe Symbolic Differentiation with Algebraic Data Types
Kotlin∇ is a type-safe automatic differentiation framework written in Kotlin. It allows users to express differentiable programs with higher-dimensional data structures and operators. We attempt to restrict syntactically valid constructions to those which are algebraically valid and can be checked at compile-time. By enforcing these constraints in the type system, it eliminates certain classes of runtime errors that may occur during the execution of a differentiable program. Due to... -
11
Hikari
LLVM Obfuscator
...Designing an Obfuscator is hard, and keeping the source open definitely leaks the pattern to crackers which could potentially make the crackers' life easier if they have the right skillset. While every reasonable attempt has been made in Hikari to reduce such patterns from appearing, however, with overkill weapons like symbolic execution, binary obfuscation can still be defeated much easier, even so-called VM-based obfuscation. DOI 10.1145/2991079.2991114 explained this in great detail. I would implement a few anti-SE mechanisms in the future in an attempt to cause (even) more trouble to attackers, though. -
12
FRDCSA
Formalized Research Database: Cluster, Study and Apply
We are creating a large repository of FLOSS AI software that solves problems which affect people through the Free Life Planner and FRDCSA projects. We are making OS packages for external and internal software that employ symbolic AI (Prolog/OpenCYC/etc) and connectionist AI (ML/DL/NN), to solve computational problems. Our goal is to use logic to solve planning problems - to treat the world as a "game" and then win that game by proving that bad things don't happen to people.... -
13
Miasm
Reverse engineering framework in Python
The Miasm intermediate representation is used for multiple task: emulation through its jitter engine, symbolic execution, DSE, program analysis, but the intermediate representation can be a bit hard to read. We will present in this article new tricks Miasm has learned in 2018. Among them, the SSA/Out-of-SSA transformation, expression propagation and high-level operators can be joined to “lift” Miasm IR to a more human-readable language. -
14
Prepack
A JavaScript bundle optimizer
A tool for making JavaScript code run faster. Prepack is still in an early development stage and not ready for production use just yet. Please try it out, give feedback, and help fix bugs. Prepack is a tool that optimizes JavaScript source code: Computations that can be done at compile-time instead of run-time get eliminated. Prepack replaces the global code of a JavaScript bundle with equivalent code that is a simple sequence of assignments. This gets rid of most intermediate computations... -
15
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. * celllvm2lonka - Translates constant-expressions-less LLVM into Lonka. * C benchmarks - A set of small C programs -
16
Symlink Creator
Program to create symlinks. Provides the CMD command as well.
Just a small application I made to simplify the process of creating symbolic and hard links in Windows 7 and Windows 8 (likely Vista too). It is a GUI for the MKLINK command in Windows, which makes creating the links much easier. The program requires administrator permissions due to use of the command prompt, so you should run it as an administrator if you experience any problems. Note: It is not possible to create a hard link from a network share. You must use a symbolic link...
- Previous
- You're on page 1
- Next
