本文是基于MySQL5.7.22进行分析1.SQL总体执行流程图通过上面图,可以从全局上了解SQL语句执行流程以及与其他模块交互1.1SQL查询执行流程2.语法解析2.1编程语言知识回顾在介绍具体的MySQL数据库解析SQL之前,先来回归一下编程语言的知识点形式语言(Formallanguage)形式语言是用精确的数学或机器可处理的公式定义的语言,个人理解形式语言就是符号化的语言,比如编程语言(C
分类：
数据库 时间：
2018-10-15 18:12:51
阅读次数：
312
1、机器语言：由机器指令构成的集合。 机器指令的一般形式为操作码和地址码。 2、汇编语言：符号化的机器语言。 汇编语言语句的格式：【名字】操作符【操作数或地址】【；注释】 汇编语言的指令组成：汇编指令，伪指令，其他符号。 3、存储器： Cpu对存储器的读写依靠地址总线，数据总线，控制总线。地址信息指 ...
分类：
其他好文 时间：
2018-10-14 23:02:16
阅读次数：
169
klee是什么 klee是通过对llvm bitcode进行解释以实现符号执行的工具。它通过插入函数调用（klee_make_symbolic）对内存进行符号化。并且会跟踪符号内存的使用，并收集使用这些符号内存的约束。如果有使用前面符号内存的其他内存，那么该内存也将会被符号化。当遇到一个使用符号化内 ...
分类：
其他好文 时间：
2018-09-04 17:05:13
阅读次数：
432
汇编语言指令是机器指令的符号化 ，与机器指令存在着直接的对应关系，所以汇编语言同样存在着难学难用、容易出错、维护困难等缺点。 但是汇编语言也有自己的优点：可直接访问系统接口，汇编程序翻译成的机器语言程序的效率高。 从软件工程角度来看，只有在高级语言不能满足设计要求，或不具备支持某种特定功能的技术性能 ...
分类：
编程语言 时间：
2018-07-31 15:23:56
阅读次数：
167
1.数据、数据库、数据管理系统基本概念： 数据：人类有用信息的符号化表示。 数据库：按照数据结构来组织、存储和管理数据的一个仓库。 数据库管理系统（DBMS）：可维护、存储并为应用系统提供数据的软件系统（软件+数据库+数据管理员）。 可以客观描述的事物被称为“实体”，不同的数据体现了不同的实体。数据 ...
分类：
数据库 时间：
2018-07-18 10:14:20
阅读次数：
179
1.数据、数据库、数据管理系统基本概念： 数据：人类有用信息的符号化表示。 数据库：按照数据结构来组织、存储和管理数据的一个仓库。 数据库管理系统（DBMS）：可维护、存储并为应用系统提供数据的软件系统（软件+数据库+数据管理员）。 可以客观描述的事物被称为“实体”，不同的数据体现了不同的实体。数据 ...
分类：
数据库 时间：
2018-07-18 10:11:12
阅读次数：
298
一：angr的输入输出 一般来说，命令行程序主要有两种数据输入的方式，第一种是利用api（get，read），第二种是放在argc上，其它的方法有很多，最后也会提供一种通用的解法。 当数据输入在argc上时，一般使用claripy库，将输入的数据符号化，具体代码如下： claripy库是求解器引擎， ...
分类：
其他好文 时间：
2018-07-15 21:25:46
阅读次数：
451
一：TVTK库可视化实例 Plot3D文件知识：PLOT3D 数据格式 （一）标量数据可视化（等值面） generate_values()创建等值面 set_value设置每个等值面的值 （二）矢量数据可视化（有数值和方向） 总结矢量化数据可视化的三个方法 （1）Glyph3D是TVTK的符号化技术 ...
分类：
其他好文 时间：
2018-07-12 22:45:50
阅读次数：
549
在自然语言中，常常使用“或”，“与”，“但是”等一些联结词，对于这种联结词的使用，一般没有很严格的定义，因此有时显得不很确切。在数理逻辑中，复合命题是由原子命题与逻辑联结词组合而成，联结词是复合命题中的重要组成部分，为了便于书写和进行推演，必须对联结词作出明确规定并符号化。下面介绍各个联结词。(1) ...
分类：
其他好文 时间：
2018-03-01 00:44:04
阅读次数：
283
