water_likly的博客

在How to Query a CPG 章节中，提到了简单地对代码属性图进行查询的操作，本节对查询操作进行深入的学习。How to Query a CPG一旦Ocular为您的应用程序创建了一个代码属性图(CPG)，您就可以使用查询来仔细检查CPG(以及您的应用程序)。有两种类型的查询:默认和自定义。注意:在研究数据流时，我们建议使用策略来代替查询。本文的最后将包含关于查询和策略之...

上一篇博客简单的对shiftleft的inspect部分进行了说明，inspect适合开发人员对代码的检查，并且能够和github相结合。但是对安全研究人员应用有限。本文忽略了PROTECT部分，直接对OCULAR进行说明一 基本说明本文将向您展示如何开始使用Ocular。更具体地说，您将学习如何：下载、安装并启动Ocular；创建您的第一个CPG并将其加载到内存中以供使用。要求：在继...

一 基本声明 本文是对shiftleft的一个基本翻译，帮助大家了解、学习这个东西。（严谨转载！欢迎讨论！）二 基本介绍What is ShiftLeft?ShiftLeft是为开发人员构建的下一代代码分析平台。它的代码属性图(CPG)将应用程序的控制流、程序依赖项和抽象语法树描述为一个单一的数据结构，使您能够从根本上理解应用程序的每个版本的功能，并找到可能带来风险的任...

一 序代码属性图是结合AST，控制流图，数据流图而形成的新的一种图示结构，用于在一张图中综合藐视程序的运行过程，数据传递过程等。（本文仅限学术交流，转载标明出处），感谢JacksonZyy的安装分析过程。二 安装首先是官网的安装方法，如下：https://joern.readthedocs.io/en/latest/installation.html#system-requirem...

本文仅作交流学习使用，严谨转载！！！一 Joern安装参考上篇博客https://blog.youkuaiyun.com/water_likly/article/details/88415127二 Joern的初步使用Joern的使用主要涉及到python-joern，neo4j的操作，本文仅作初步的学习。参考链接：Joern首先，Joern是用来分析C/C++程序的，因此，我们先从网上或...

一 Joern实例分析在Joern中发现了一个实例教程，本着学习的态度，尝试复现这个过程，以增加自己的经验！严谨转载，欢迎讨论！1 正常安装joern以及neo4j。2 建议下载教程中的VLC版本。cd $JOERN #joern目录mkdir tutorial; cd tutorial #创建并转入tutorialwget http://download.videolan....