CodeQL_Chinese 机器翻译(逐行校阅过,无阅读障碍),部分阅读可能不是很舒服,不喜勿star 定期更新中,后期计划更新javascript , python等语言的文档,便于大家阅读. 欢迎大家一起来贡献!或者提issue! 我会把我知道尽可能回复给大家 以便快速入门。 毕竟codeQL官方文档真的是……无力吐槽 2020.08.06更新翻译 当前版本都是Java的 codeQL中文教程(重新翻译版).pdf -> 讲解codeQL的语法。就是官网的tutorial codeql_中文文档.pdf -> 讲解codeQL java下的语法(codeQL对每个语言的类定义范围是不一样的) 可以加我微信txsser 交流更多的codeQL技术 2020.10.20 更新一些编写codeQL规则的小技巧 additionalTaintStep(过程间调用).pdf RemoteFl
2023-08-23 19:43:56 4.42MB
1
摘要:Codebox是一个图形工具,可帮助为Go函数/方法/界面创建污点跟踪模型。 您可以在图形( web )界面中指定污点逻辑,然后生成CodeQL污点跟踪模型以及这些模型的Go场景测试用例。 例子 创建codebox工具是为了扩展 (Go的官方CodeQL提取器和库)的污点跟踪模型。 您可以在下面找到所有由codebox生成并合并到库中的模型和测试: 污染追踪模型: : 测试: : 导入: : 有关目标的更多信息: : 注意: codebox工具及其作者与GitHub / Semmle没有关系。 这个怎么运作 # - go get go get github.com/gagliardetto/codebox # - Enter the codebox folder: cd $GOPATH /src/github.com/gagliardetto/codebox
2023-02-06 14:37:31 313KB golang generate-code codeql codeql-taint-tracking
1
学习代码 前言 codeql学习笔记只有Java 该笔记是为了帮助更多想要学习codeql的新手朋友,如果你有想法和我一起帮助更多人。请发邮件 加入运行截屏帮助理解Codeql代码 笔记目前单纯为个人理解,如有错误还请不吝赐教。 格式说明 目前都是中英文对照翻译,翻译大部分是机翻,会小幅度修改部分。 目录 内容 codeql自定义查询Java codeql的一些语法规则 codeql-java codeql对于Java方向上的内容 文章在线阅读网站: : 推荐类似项目
2021-12-21 13:24:50 2.83MB CodeQL
1
您的课程“ CodeQL U-Boot挑战(C / C ++)”的GitHub存储库 欢迎参加本课程! 对于课程的每个步骤,此项目中都会创建一个新的问题,并为您提供说明。 根据这些说明,您可以通过在此存储库中编写和提交CodeQL查询来完成每个步骤。 让我们从吧! 该存储库已获得 (c)2020 GitHub,Inc.的许可。
2021-03-30 21:08:55 8KB CodeQL
1