数据流分析

南大软件分析笔记1—IR与数据流分析01-07

断断续续看了南京大学的静态分析课程，总结一下，先贴一些资源课程链接：https://pascal-group.bitbucket.io/teaching.html。作业内容：https://tai-e.pascal-lab.net/en/pa1.html#_1-assignment-objectives作业工程：https://github.com/pascal-lab/Tai-e-assignm
AxisX·2024-01-29 16:08

2021-10-30

今日精进：今天晚上讲数据流分析，对混合气的检测更深入的理解了，怎么判断混合气浓，混合气稀，都有什么情况会导致，怎么检测。
池鱼_37df·2024-01-27 13:06

大数据数据流分析和处理的工具pig,从入门到精通！

介绍：Pig是一种数据流语言和运行环境，用于处理和分析大数据。Pig由两个主要部分构成：PigLatin语言：这是一种用于描述数据流的高级语言，它允许用户以较为简洁的方式编写数据处理和转换任务。Pig执行环境：这是PigLatin程序的运行平台，负责解析、优化并执行PigLatin脚本。Pig的特点包括：面向过程的数据流语言：与Hive等其他大数据处理工具相比，Pig更注重数据处理的过程性，适用于
知识分享小能手·2024-01-27 09:05

2018-09-26

总结，用数据流分析故障，确定故障点更准确，给客户有更大的说服力。
吕志刚l·2024-01-25 16:01

软件测试要学习的基础知识——白盒测试

白盒测试又被称为：透明盒测试结构化测试逻辑驱动测试基于代码的测试白盒测试的常用技术分类一、静态分析：数据流分析控制流分析信息流分二、动态分析：逻辑覆盖循环覆盖基本路径覆盖优缺点一、优点：迫使测试人员去仔细思考软件的实现可以检测代码中的每条分支和路径揭示隐藏在代码中的错误对代码的测试比较彻底让
测试界柠檬·2024-01-17 23:11

KAFKA基本使用

Kafka基础入门1.kafka定义kafka以前的定义是一个分布式的基于发布订阅的消息队列，现在的kafka的定义已经是一个分布式的流处理平台，用于数据通道处理，数据流分析，数据集成等现在消息队列只是
竺竺牧牧·2024-01-11 18:10

Helix QAC 2023.4 新版支持C++20语言，带来更多性能提升！

此版本还加强了对C++20语言的支持，改进了数据流分析性能，并在整个产品中增加了多项用户体验改进。
旋极智能·2024-01-10 06:17

【编译原理】9—代码优化与生成Code Optimization and Generation(基本块及其优化方法、数据流分析简介）

9代码优化与生成CodeOptimizationandGeneration⭐⭐⭐⭐⭐⭐Github主页https://github.com/A-BigTree项目链接https://github.com/A-BigTree/college_assignment⭐⭐⭐⭐⭐⭐文章目录9代码优化与生成CodeOptimizationandGeneration9.1优化的主要来源源代码中间代码目标代码代码
一棵___大树·2024-01-08 03:33

代码静态扫描分析工具介绍

代码静态检测程序静态分析（ProgramStaticAnalysis）是指在不运行代码的方式下，通过词法分析、语法分析、控制流、数据流分析等技术对程序代码进行扫描，验证代码是否满足规范性、安全性、可靠性
源伞科技·2024-01-06 20:20

使用Wireshark进行网络流量分析

数据包筛选筛选指定ip使用逻辑运算符筛选HTTP模式过滤端口筛选协议筛选包长度筛选数据包搜索数据流分析数据包导出Wireshark是什么？
未知百分百·2024-01-05 01:33

CodeQL学习

CodeQL学习1.数据流分析1.1.简介1.2.分析C/C++数据流1.2.1本地数据流1.2.2.本地污点追踪1.2.3.示例11.2.4.全局数据流1.2.5.全局污点追踪1.2.6.示例22.Query1
I still …·2023-12-30 21:50

程序分析 clang系列学习 （三）

基于CSA的污点分析污点分析基于CSA的实现操作符集合的定义Sources和PropagatorsSinksFiltersChecker执行过程总结参考文献污点分析污点分析是数据流分析的一个特例（taintanalysisisaspecialcaseofdataflowanalysis
I still …·2023-12-30 21:49

测试开发体系介绍——测试体系介绍-L2

目录：被测系统架构与数据流分析开源项目LiteMall系统架构：开源项目Mall的系统架构：如何快速了解一家公司的架构统一建模语言UML推荐工具梳理业务流程：使用思维导图分析功能点:使用时序图分析数据流
阿瞒有我良计15·2023-12-26 16:32

南京大学-软件分析-课程05-数据流分析基础理论

1.从另一个角度看迭代算法用k个值来表示CFG中的k个节点，在每一轮迭代中更新对应的值。迭代函数为F:VkF:V^kF:Vk—>VkV^kVkXisafixedpointoffunctionFifX=F(X)2.PartialOrder（偏序）当我们定义偏序集（partiallyorderedset，poset）时，我们将其表示为一个二元组r(P,⊑)，其中⊑是一个二元运算符在P上定义偏序关系。有
我就是菜鸡1229·2023-12-24 10:41

南京大学-软件分析-课程05-数据流分析基础理论2

7.迭代算法与不动点定理关联我们需要证明自己的TransferFunction是单调的代码什么时候会停止8.May/MustAnalysis,ALatticeViewMayAnalysisUnsaferesult->Saferesult如果我是一个查错的定义，没有nodefinition的错误，这是一个不安全的结果。所有的definition都有可能有错，这是一个安全但没有用的结果。这里假设{a,
我就是菜鸡1229·2023-12-24 10:41

系统架构设计笔记（42）—— 软件架构概述

20世纪70年代是模块化的年代：出现了数据流分析、实体—关系图（E-R图）、信息隐藏等工具和方法，软件的抽象层次发展到了模块级。
deniro·2023-12-20 10:18

南京大学-软件分析-课程03-数据流分析

1.OverviewofDataFlowAnalysisData如何在CFG上流动？应用程序特定的数据是如何通过CFG（程序的控制流图）的节点（基本块/语句）和边（控制流）流动的。mayanalysis:outputsinformationthatmaybetrue(over-approximation)mustanalysis:outputsinformationthatmustbetrue(u
我就是菜鸡1229·2023-12-18 00:16

代码扫描工具

静态代码分析是指无需运行代码，通过词法分析、语法分析、控制流、数据流分析等技术对代码进行扫描，找出代码隐藏的错误和缺陷，如参数不匹配，有歧义的嵌套语句，错误的递归，非法计算，可能出现的空指针引用等等。
steem_ding·2023-12-04 16:33

2021-11-15

用数据流分析故障，确定故障点更准确，给客户有更大的说服力。
吕志刚l·2023-11-30 18:30

软件测试要学习的基础知识——白盒测试

白盒测试又被称为：透明盒测试结构化测试逻辑驱动测试基于代码的测试白盒测试的常用技术分类一、静态分析：数据流分析控制流分析信息流分二、动态分析：逻辑覆盖循环覆盖基本路径覆盖优缺点一、优点：迫使测试人员去仔细思考软件的实现可以检测代码中的每条分支和路径揭示隐藏在代码中的错误对代码的测试比
软件测试君·2023-11-25 03:23

代码静态扫描分析工具介绍

代码静态检测程序静态分析（ProgramStaticAnalysis）是指在不运行代码的方式下，通过词法分析、语法分析、控制流、数据流分析等技术对程序代码进行扫描，验证代码是否满足规范性、安全性、可靠性
源伞科技·2023-11-22 05:51

大数据开发面试（一）

主要用于大数据处理、实时数据流分析和日志收集等场景。Flume：定位数据传输，主要用于将数据从源头传输到目标存储系统。适用于需要将大量数据发送到HDFS、HBase等存储系统的场景。
ChlinRei·2023-11-20 01:41

汽车标定技术(四)--问题分析:多周期测量时上位机显示异常

目录1.问题现象2.数据流分析3.代码分析3.1AllocDAQ3.2AllocOdt3.3AllocOdtEntry4.根因分析及解决方法4.1根因分析4.2解决方案1.问题现象在手撸XCP代码时，DAQ
CyberSecurity_zhang·2023-11-06 12:15

2021-06-10

天】姓名：陈权公司：青柠养车【知~学习】《流利说》打卡第383天《羊皮卷》1、诵读次数：5282、实践分数：9573、实际得分：1485【行~实践】一、修身肌肉锻练二、努力1、全力以赴销售2、通用正时数据流分析三
水青柠·2023-10-25 18:07

讲解视频会议系统机器设备內部插口

视频会议系统系统软件里边的终端是rtmp协议、音频流、数据流分析、控制流的推送机器设备，也是rtmp协议、音频流、数据流分析、控制流的接受机器设备。
视频会议解决方案·2023-10-22 04:32

《Spark大数据分析》一书的书评和采访

\主要结论\\了解如何将ApacheSpark用于不同类型的大数据分析用例，例如批处理、互操作、图表、数据流分析，以及机器学习。
H_MZ·2023-10-19 05:30

英文版商城源码 支持多语言切换 美妆品小程序商城 毕业设计论文案例

介绍了系统的需求分析，系统分析，具体完成了数据流分析，数据字典功能模块的划分，数据库的设计和界面设计。最后对系统进
linlinlove2·2023-10-05 06:35

【软件分析/静态程序分析学习笔记】3.数据流分析(Data Flow Analysis) (上)：可达性分析(Reaching Definitions)

上一篇文章中讲到了静态分析的中间表示，并引出了用于分析的控制流图，本文将依据控制流图讲述数据流分析的
童年梦·2023-09-30 12:07

网络安全-源代码安全审计

源代码安全审计通过利用专业安全审计工具，分析应用软件的语法、结构、过程、接口，借助数据流分析、控制流
网络安全刚子·2023-09-10 17:25

格的状态爆炸问题

例如，在做数据流分析或抽象解释时，可能需要用到“宽化”（widening）或“窄化”（narrowing）技术，这些技术可以帮助我们有效地处理大规模的状态空间。另一个例子是在处理大规模图的问题时
青衫客36·2023-08-02 03:36

c语言volatile关键字的理解和使用

文章目录1volatile的理解2volatile的使用>>返回总目录<<1volatile的理解volatile总是与编译器的优化有关，编译器在进行数据流分析时，分析程序中变量在哪里赋值、使用或失效，
woniudaidai·2023-07-25 07:19

程序分析学习文档

（一）初识软件分析|技术和思考（二）数据流分析基础|技术和思考https://zhuanlan.zhihu.com/p/581748024（四）静态单赋值和稀疏分析|技术和思考（五）过程间分析|技术和思考
qq513283439·2023-07-22 17:01

被测系统架构与数据流分析

开源项目litemall系统架构(https://github.com/linlinjava/litemall)角色与数据用户产品前端技术栈后端技术栈数据存储开源项目Mall的系统架构(https://github.com/macrozheng/mall)角色与数据用户产品前端技术栈后端技术栈服务治理技术栈监控技术栈大数据处理技术栈数据存储持续集成/持续交付/DevOps如何快速了解一家公司的架构
阿瞒有我良计15·2023-06-23 13:14

aws服务从入门到精通| Amazon Kinesis 服务之Firehose操作

2、使用Kinesis构建自定义应用程序分析数据流，或者使用流行的流处理框架3、使用firehose加载流，处理流的存储4，使用KinesisDataAnalytics与SQL数据流分析由于作者英语太烂了
黑客和白帽子的故事·2023-06-18 20:14

电影推荐系统的设计与实现(论文+源码)_kaic

首先进行了可行性分析，然后是系统分析，通过实际的业务流程调研，分析业务流程和系统的组织结构，完成了数据流分析和数据字典；然后是系统设计阶段主要完成了功能模块的划分、阐述了系统设计的思想、数据库的设计和系统设计的工具及技术
开心工作室_kaic·2023-06-13 07:36

《软件工程教程》(第2版) 主编：吴迪 马宏茹 丁万宁 第四章课后习题参考答案

A.数据流分析设计B.模块规模应该适中C
边缘梦境·2023-06-12 05:48

Swift静态代码检测工程实践

程序静态代码分析（ProgramStaticAnalysis）是指在不运行代码的方式下，通过词法分析、语法分析、控制流、数据流分析等技术对程序代码
搜狐技术产品小编2023·2023-06-10 10:40

if/while/for/语句/分支/路径覆盖的控制流程图+数据流分析(DU)

if/while/for/语句覆盖/分支覆盖/路径覆盖的控制流程图+数据流分析(DU)语句的线性序列LinearSequencesofStatements“If”Constructs“While”Constructs
the only KIrsTEN·2023-06-07 14:44

C/C++编译器全局优化技术：全局优化是针对整个程序进行的优化，包括函数之间的优化

全局数据流分析：这项技术分析程序中的数据流，以获取更多关于变量使用和定义的信息。这有助于编译器在全局范围内进行更精确的
泡沫o0·2023-04-20 16:32

电影推荐系统的设计与实现（论文+系统）_kaic

首先进行了可行性分析，然后是系统分析，通过实际的业务流程调研，分析业务流程和系统的组织结构，完成了数据流分析和数据字典；然后是系统设计阶段主要完成了功能模块的划分、阐述了系统设计的思想、数据库的设计和系统设计的工具及技术
李开兴·2023-04-13 01:44

区块链漏洞检测论文精读02

SmartContractVulnerabilityDetectionBasedonCrucialDataFlowGraphandPre-trainingTechniques-论文链接-源码链接我这里就主要介绍技术具体实现，前面的就不过多赘述了；主要贡献：1、提出来了一个新的表示智能合约的方式通过CDFG也就是关键数据流分析法
weixin_47988292·2023-04-12 01:04

技术分享 | 被测系统架构与数据流分析

深入了解测试过程中被测系统的架构与数据流，有助于理解业务逻辑，梳理业务用例以及促进部门协同。更深的理解业务逻辑是指要分析公司是做什么的，公司的重要的商务决策是什么，公司内部数据流是怎么运行的，有哪些常见的业务场景。这也能考验对公司业务的负责程度，可以更好的去服务业务部门，为公司创造价值。开源项目litemall系统架构下面以开源项目litemall为例，分析一下这个项目中的系统架构。litemal
霍格沃兹测试开发·2023-04-11 13:19

RxJava源码分析(二)基本的数据流分析(有背压)

引言上篇文章中，我们了解了RxJava基本的无背压数据流实现原理，本篇我们依然从案例着手，学习有背压下数据流响应实现。何为背压?大多数情况下，上游发射数据的速度大于下游处理数据的速度，背压策略就是控制数据流速，在RxJava中通过设置下游的处理能力实现“响应式拉取”解决背压问题。样例下面是同步订阅带背压的样例:privatevoidtestBackPressure(){//同步订阅事件，发送一个接
kakaxicm·2023-04-10 14:08

中间表示- 数据流分析

数据流分析往往与优化绑定在一起，如下图所示。优化的一般模式程序分析（1）控制流分析、数据流分析、依赖分析等。（2）得到被优化程序的静态保守信息，是对动态运行行为的近似。
青衫客36·2023-04-08 21:06

JVM_13_逃逸分析和堆小结

这是一种可以有效减少Java程序中同步负载和内存堆分配压力的跨函数全局数据流分析算法。通过逃逸分析，JavaHotspot编译器能够分析出一个新对象的引用使用范围从而觉得是否要将这个对象分配到堆上。
心安_5fd2·2023-04-05 10:45

Java对象逃逸分析

1.概念对象逃逸分析，是一种有效减少Java程序中同步负载和内存堆分配压力的跨函数全局数据流分析算法。通过逃逸分析，Java虚拟机能够分析出一个新的对象的引用范围从而决定是否要将这个对象分配到堆上。
Amazing_deron·2023-03-30 20:16

软件测试技术分享 | 被测系统架构与数据流分析

深入了解测试过程中被测系统的架构与数据流，有助于理解业务逻辑，梳理业务用例以及促进部门协同。更深的理解业务逻辑是指要分析公司是做什么的，公司的重要的商务决策是什么，公司内部数据流是怎么运行的，有哪些常见的业务场景。这也能考验对公司业务的负责程度，可以更好的去服务业务部门，为公司创造价值。开源项目litemall系统架构下面以开源项目litemall为例，分析一下这个项目中的系统架构。litemal
传说三哥·2023-03-30 09:26

Java调用链跟踪关键技术（一）总体介绍

2.性能分析3.SQL分析4.方法或服务调用合理性分析5.调用逻辑和数据流分析，这点对于新人特别有用，看了调用链和执行SQL就知道具体做了
书院的十三先生_2018·2023-03-26 10:44

【课程笔记】南大软件分析课程5——过程间分析（课时7）

目录：Motivation调用图构建过程间控制流分析过程间数据流分析重点：学习如何利用类层级分析来构建调用图；过程间控制流/数据流分析；过程间的常量传播。
bsauce·2023-03-16 13:23

2009款奥迪A6空调不制冷

图1读取数据流数据流分析：1.说明空调电脑已指令空调调节阀N280参与工作并向大负荷工作方向调节；2.说明空调电脑给N280的控制工作的量已达到65.
黄江水车界阿进·2023-03-09 19:33
上一页 1 2 3 4 5 6 7 下一页
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他