-
symbolic-demangle
从各种语言和编译器中解包符号
-
symbolic-common
为symbolic库提供的通用类型和工具，该库用于符号化并处理原生应用、minidumps或精简JavaScript的堆栈跟踪
-
gix-ref
处理git引用
-
biodivine-lib-bdd
基本二进制决策图的安全线程实现
-
radius2
使用r2的快速符号执行框架
-
symbolic
从原生应用、minidumps、Unreal Engine 4或精简JavaScript中符号化和处理堆栈跟踪
-
biodivine-lib-param-bn
与参数化布尔网络一起工作
-
biodivine-hctl-model-checker
在部分定义的布尔网络上进行符号化HCTL模型检查
-
symbolic-cfi
处理调用帧信息
-
abyss-lang
AbySS：高级脚本通过符号语法
-
symbolic-unreal
用于解析和处理Unreal Engine 4崩溃文件的实用程序
-
symboscript-formatter
SymboScript格式化工具
-
symbolic-il2cpp
解析il2cpp行映射
-
symbolic-ppdb
解析并执行便携式PDB文件的查找
-
symbolic-sourcemapcache
JavaScript源映射的快速查找缓存
-
symboscript-interpreter
SymboScript解释器
-
filey
一组使文件操作更便捷的实用程序
-
symbolic_expressions
符号表达式解析器/写入器
-
generic_symbolic_expressions
symbolic-expressions的分支，对其进行调整以使其更加正常。原始crate围绕放置额外双引号有奇怪的规定。
-
symboscript-lexer
SymboScript词法分析器
-
symboscript-parser
SymboScript解析器
-
pretty-print
美化打印树
-
permcon
library/CLI用于解析Linux文件权限，并将在符号和八进制表示之间进行转换
-
haybale-pitchfork
使用符号执行验证恒时代码
-
symboscript-optimizer
SymboScript 优化器
-
symbolize
允许您将位图图像转换为它们的符号版本
-
symbolic-minidump
处理和检查Minidump崩溃报告
-
wrenfold-traits
为wrenfold符号代码生成库提供运行时特性
-
symbolic-sourcemap
处理JavaScript源映射并解析压缩源代码或堆栈跟踪中的符号
-
zia
Zia编程语言的解释器库
-
isla
Sail指令集架构规范的符号执行引擎
-
symbolic-testutils
symbolic测试的辅助crate
-
sylvan-sys
Sylvan并行决策图库的绑定
-
gep_toolkit
基因表达式编程工具包
-
符号多项式
整数的多项式操作
-
isla-lib
Isla 是一种用于 Sail 指令集架构规范的符号执行引擎。这个 crate 将核心符号执行引擎实现为一个库。
-
ttk91
TTK91 指令架构的解析器、编译器和仿真库
-
isla-axiomatic
Isla 是一种用于 Sail 指令集架构规范的符号执行引擎。这个 crate 实现了处理公理内存模型的相关工具。
-
falcon-finch
针对 Falcon IL 的符号执行
-
seer
用于 Rust 的符号执行引擎
-
posix-errno
POSIX 错误号
-
hypercpu
分布式符号计算
-
symengine
对 C++ 库 SymEngine 的非官方 Rust 包装器，SymEngine 是一个快速的 C++ 符号操作库
-
owi
对 Owi 符号运行时的绑定
-
l6t-symbolic
l6t 库的一部分：用于不同已知设备的符号数据模型
-
klee-rs
安全 KLEE API 的 Rust 包装器
-
symcode
符号条码 - 编程库
-
cassie
为了乐趣而编写的有限计算机代数系统
-
reform
一个符号操作工具包，旨在处理数以亿计的项，占用数TB的磁盘空间
-
izia
Zia编程语言的交互式Shell
-
tml
如果需要，则创建符号链接和父目录
-
sl_cli
简单且改进的符号链接创建
-
symcode-webapp
符号条码 - 网络应用
-
klee-bindings
使用bindgen对KLEE库的原始绑定
-
symengine-sys
对 C++ 库 SymEngine 的非官方 Rust 包装器，SymEngine 是一个快速的 C++ 符号操作库
-
git-ref
请使用
gix-<thiscrate>代替（‘git’ -> ‘gix’） -
lodge
自动化的符号链接管理器
-
umfpack-rs
为rust提供的某些UMFPACK绑定
-
symb
运行时符号计算
尝试使用 DuckDuckGo 进行搜索。