2 个仓库
Inspection of attributes and arguments within module invocations to detect configuration errors.
Distinct from Module Dependency Analysis: Analyzes the arguments passed to module calls rather than the dependency graph or circular imports.
Explore 2 awesome GitHub repositories matching software engineering & architecture · Module Call Analysis. Refine with filters or upvote what's useful.
TFLint 是一款静态分析工具和基础设施即代码(IaC)验证器,旨在识别 Terraform 配置文件中的错误并强制执行最佳实践。它既是自动化工作流的质量关卡,也是一个语言服务器,可直接在支持的文本编辑器中提供实时诊断和 linting 错误提示。 该项目利用 gRPC 插件框架,允许通过独立的二进制文件和专用 SDK 集成自定义的供应商特定验证规则。这种架构将核心 linting 逻辑与云服务商特定的验证分离开来,支持自动安装外部规则集,以根据官方规范验证资源属性。 其分析引擎能够解析配置值并评估内置函数,通过展开动态块和资源集合来检查最终实例化的结构。它涵盖了编码标准强制执行、模块调用分析以及无效资源属性的检测,并支持以 SARIF 等格式导出结构化结果。 该工具包含一个用于分析目标过滤的命令行界面,并为支持的规则提供自动修复功能。
Inspects attributes within local and remote module calls to identify issues originating from module configurations.
本项目是一个全面的 Android 逆向工程套件,具有反编译器、字节码去混淆器和恶意软件分析工具的功能。它旨在将 APK、DEX 和 OAT 二进制文件转换为人类可读的源代码,并使用无需 Java 虚拟机 (JVM) 的原生实现。 该平台通过与 Frida 集成进行动态分析而脱颖而出,允许用户实时挂钩方法、注入自定义 JavaScript 并转储设备内存。它还具有专门的安全引擎,包括污点传播引擎和栈状态机,以检测隐私泄露、恶意行为和安全漏洞。 该套件涵盖了广泛的分析功能,包括二进制补丁和重打包、交叉引用依赖映射和数据流分析。它提供了用于软件加壳识别、加密字符串解码以及跨应用程序资源进行全局元数据搜索的工具。 该工具提供命令行界面,并支持通过自定义 Python 或 Java 脚本进行分析自动化。
Traces callers of specific functions to identify insecure implementation patterns in the function bodies.