软件分析
关注
分享
扫一扫
文章平均质量分 85
like不倒翁
遇事不决，量子力学
展开
-
klee2.3 安装&&教程1-2
klee2.3 安装教程&&入门例子教程原创 2023-01-01 20:45:47 · 1507 阅读 · 1 评论 -
SAT求解器—cryptominisat Windows安装及使用
官网 Wonderings of a SAT geek | A blog about SAT solving and cryptographyGitHub 资源包 https://github.com/msoos/cryptominisat下图是官方给出的安装教程，第一次编译安装可能会出现一些问题，所以写下这篇博客，希望大家少走弯路。1. 获得工程项目选择分支（默认是master分支），拉取需要版本的工程项目，可以直接下载.zip 的压缩包也可以通过Git拉取。2. 解...原创 2022-04-12 11:49:05 · 3458 阅读 · 7 评论 -
LLVM教程2——Kaleidoscope 实现解析器和 AST
LLVM官方文档示例2翻译 2022-12-13 15:48:50 · 715 阅读 · 0 评论 -
LLVM教程1——Kaleidoscope 介绍和语法分析器
LLVM官方文档教程示例1翻译 2022-12-13 15:44:22 · 760 阅读 · 2 评论 -
Soot 入门
相关课程：燕云直播soot官网：GitHub - soot-oss/soot: Soot - A Java optimization frameworksoot API：https://soot-oss.github.io/soot/docs/soot安装： 可以直接看官网教程。 不想看英文可以参考Soot使用笔记 - xine - 博客园Soot 跑起来——命令行1、测试代码Helloworld.javapublic class Helloworld { pu...原创 2022-03-23 16:12:17 · 1889 阅读 · 0 评论