ts-morph
和相关项目的Monorepo。
配套
-TypeScript编译器API包装器。 提供了一种以编程方式导航和操作TypeScript和JavaScript代码的简便方法。
用于快速使用Compiler API进行设置的独立库。
资源资源
2021-07-05 16:25:04
1.93MB
1
大型通用有限元程序nastran 用户手册，主要讲线性精力学方面的，相当的不错
2021-04-02 15:34:33
11.83MB
1
边跑者
这是一个Sider分析器框架。
另请参阅另一个相关项目，称为 。
支持的分析仪
所有40个分析器均作为Docker映像提供：
姓名
链接
状态
煞车人
，， ，
:check_mark_button:
格纹风格
，， ，
:check_mark_button:
lang整洁的
，， ，
:check_mark_button: 贝塔
CoffeeLint
，， ，
:check_mark_button:
Cppcheck
，， ，
:check_mark_button:
cpplint
，，
:check_mark_button:
德特
，， ，
:check_mark_button: 贝塔
ESLint
，， ，
:check_mark_button:
片状8
，， ，
:check_mark_button:
FxCop
，， ，
:check_mark_button: 贝塔
GolangCI-Lint
，， ，
:check_mark_button:
好检查
，， ，
:check_mark_bu
2021-03-09 14:07:46
2.13MB
1
IKOS
IKOS（开放静态分析器的推理内核）是基于抽象解释理论的C / C ++静态分析器。
介绍
IKOS最初是一个C ++库，旨在促进基于的声音静态分析器的开发。 对于一个应用程序或一系列应用程序，静态分析仪的专业化对于实现精度和可扩展性都至关重要。 开发这样的分析器是艰巨的，并且需要在抽象解释方面的大量专业知识。
IKOS提供了最先进的抽象解释数据结构和算法的通用且有效的实现，例如控制流图，定点迭代器，数字抽象域等。IKOS独立于特定的编程语言。
IKOS还提供了基于的C和C ++静态分析器。 它实现了可伸缩的分析，以检测和证明C和C ++程序中没有运行时错误。
执照
IKOS已根据NASA开源协议1.3版发布，请参阅
接触
发行说明
见
故障排除
请参阅
安装
依存关系
要构建和运行分析器，您将需要以下依赖项：
支持C ++ 14的C ++编译器（gcc> = 4.9.2
2021-03-01 10:05:19
2.34MB
1
detekt-maven-plugin：Detekt CLI的Maven包装器
2021-02-03 01:05:19
24KB
1
FlowDroid源代码，包含了运行FlowDroid所需的其他源代码，jasmin、soot、heros，对于Android静态污点分析帮助很大，
2019-12-21 22:23:42
36.85MB
1