- 博客(414)
- 资源 (139)
- 收藏
- 关注
原创 joern使用
2、分析C/C++源代码生成cpg文件,主要通过。1、创建第一个main.c文件。3、 导入cpg进行分析。4、 querydb使用。
2024-03-11 15:29:28
440
原创 it报错: Failed to connect to github.com port 443 解决方案
第一种情况自己有vpn,网页可以打开github。说明命令行在拉取/推送代码时并没有使用vpn进行代理。第二种情况没有vpn,这时可以去某些网站上找一些代理ip+port。配置socks5代理。
2024-01-18 14:21:02
911
原创 使用代码动态进行 Log4j2 的日志配置
使用Log4j 2 XML 文件配置比较简单,大家都能耳熟能详,这里仅提供我使用的一个示例。有以下输出,也就是除了trace没有输出外,其它的都输出了,因为。一定要配好,否则相应的日志文件无法送达指定目的地。本文记录如何使用代码动态进行。,log4j2会动生成一个。
2023-11-16 10:18:47
342
原创 C语言运算符号
用于赋值运算,分为简单赋值(=)、复合算术赋值(+=,-=,*=,/=,%=)和复合位运算赋值(&=,|=,^=,>>=,<<=)三类共十一种。包括位与(&)、位或(|)、位非(~)、位异或(^)、左移(<<)、右移(>>)六种。包括加(+)、减(-)、乘(*)、除(/)、求余(或称模运算,%)、自增(++)、自减(–)共七种。包括大于(>)、小于(<)、等于(==)、 大于等于(>=)、小于等于(<=)和不等于(!1、与(&): 0&0=0;只有都为1结果才为1。关系运算符:<、<=、>、>=、==、!
2023-07-27 14:38:46
177
原创 JVM-Cpu飙升排查及解决
5. 执行 “jstat -gcutil 进程号 统计间隔毫秒 统计次数(缺省代表一致统一)”,查看某进程GC持续变化情况,如果发现返回中FGC很大且一直增大,确认Full GC 也可以使用“jmap -heap 进程ID”,查看一下进程堆内是不是要溢出了,特别是老年代内从使用情况一般是到达阈值(具体看垃圾回收器和启动配置的阈值)就回晋城Full GC。1. 执行 “top” 命令:查看所有进程占系统cpu的排序,极大可能排第一的就是自己的java进程,pid就是进程号。
2023-07-27 14:29:29
2621
原创 Jgit 工具类 (代码检出、删除分支(本地、远程)、新建分支、切换分支、代码提交)
【代码】Jgit 工具类 (代码检出、删除分支(本地、远程)、新建分支、切换分支、代码提交)
2023-07-27 14:20:03
1168
原创 程序分析学习文档
(一)初识软件分析 | 技术和思考(二)数据流分析基础 | 技术和思考https://zhuanlan.zhihu.com/p/581748024(四)静态单赋值和稀疏分析 | 技术和思考(五)过程间分析 | 技术和思考(六)指向分析 | 技术和思考(七)抽象解释 | 技术和思考(八)SMT和符号执行 | 技术和思考(五)过程间分析 | 技术和思考
2023-07-13 15:02:26
238
原创 wala js
TestArgumentSensitivity.java String dotFile = File.createTempFile("out", ".dt").getAbsolutePath(); System.out.println(dotFile); String pdfFile = File.createTempFile("out", ".pdf").getAbsolutePath(); System.out.println(pdfFile); String dotExe =
2023-07-11 10:36:11
66
原创 ubuntu安装ideal、pycharm等
弹窗: Required tools are missing: realpath (SHELL=*** PATH=***)”解决:sudo apt-get install realpath。
2023-05-26 08:34:08
300
原创 vmWare ubuntu代理主机
http、https 端口 10809。1、 socks 端口10808。3、vmWare 设置桥接模式。5、访问google。
2023-05-10 17:19:03
258
原创 Point-to Analysis指针分析(2)
下面介绍一种新的指针分析的算法Steensgaard算法,并将其与上一篇文章介绍不同于Andersen算法,Steensgaard在前者的基础上,再次对问题进行了简化,从而指针分析的速度变快了,但是损失了精度。那么其究竟是如何的一个过程呢?前面都和Andersen算法过程及其类似,但是约束变了。这个是Andersen的约束条件(其实就是上一篇文章中的那个表)。
2023-04-17 17:52:41
411
原创 Point-to Analysis指针分析(1)
指针分析是一个非常复杂的工作,这些工作很多方向,比如是否是上下文敏感分析或上下文不敏感分析,显然,这难易度是不一样地。比如下图。对于同一段代码,敏感性分析如蓝色,不敏感分析如红色。相比之下,不敏感分析不在乎语句的顺序,比如2,4两个语句换一下位置,得到的结果还是一样的,同时也不要求结果是否精确。不敏感分析特点:安全。即确保召回那个唯一正确的值就好,而不管精确不精确,是不是多了。下面我们要讨论的就是不敏感分析。所以有些语句我们是不会管的,比如:即,我们只管那些赋值的,和指针相关的语句。
2023-04-17 17:44:07
377
原创 soot中存在的主要对象、soot的执行流
这些Pack的命名规则非常简单:第一个字母表示采用哪种中间语言,如:s表示shimple,j表示jimple,b表示baf,g表示grimp;但soot的执行流执行完自定义的myTransform后,将继续沿着执行流执行,自定义的小步骤就像soot的一个插件,并不影响其他的执行流顺序。上述代码就是在jtp pack中插入小步骤myTransform,但soot的执行流执行完自定义的myTransform后,将继续沿着执行流执行,自定义的小步骤就像soot的一个插件,并不影响其他的执行流顺序。
2023-04-17 14:07:39
376
原创 soot中基本的对象
前一个方法在有后继Unit的情况下,返回True .后一个方法(branches())在后继有多个Unit的情况下,并且这些情况不回立即执行,返回true.这些方法都是返回ValueBox列表,分别针对在这个Unit中使用的值,定义的值,以及两者都存在的情况。这是实际包含在Body中的代码。PatchingChain是Chain的一个实现,用来调整指向Unit s的指针,s是被Chain移除的。需要注意的是,Chain是一个类似于List的数据结构,提供了常量时间访问chain中的元素,包括插入,删除。
2023-04-14 08:11:43
449
原创 Centos7配置IP地址和DNS
1.配置IP地址终端上输入ifconfig,找出网卡名称进入配置目录,找出对应网卡配置文件cd /etc/sysconfig/network-scripts/ls编辑配置文件vim ifcfg-ens33修改成如下信息TYPE=EthernetPROXY_METHOD=noneBROWSER_ONLY=noBOOTPROTO=staticDEFROUTE=yesIPV4_FAILURE_FATAL=noIPV6INIT=yesIPV6_AUTOC.
2022-05-24 14:13:24
98
转载 Sonarqube安装和汉化以及兼容问题
Sonar安装并汉化Sonar汉化包下载:https://github.com/SonarQubeCommunity/sonar-l10n-zhSonarqube官方网站,链接:https://www.sonarqube.org之前版本汉化包地址: https://github.com/SonarQubeCommunity/sonar-l10n-zh/releases/latestSonar介绍Sonar是一个用于代码质量管理的开源平台,用于管理Java源代码的质量。通过插件机制,它.
2022-03-21 13:49:53
1419
centos中maven安装
2017-08-06
mongoDB java demo
2016-11-07
dubbo demo(二)实例
2016-09-25
dubbo-admin-2.5.3.war 管理控制的安装和使用
2016-09-18
jee、spring、spring mvc、mybatis 学习(十)
2016-08-22
jee、spring、spring mvc、mybatis 学习(九)
2016-08-19
antlr4计算器源代码.rar
2019-10-25
bigbluebutton
2018-08-06
模拟OAuth2 单点登录
2017-09-05
TortoiseSVN-1.7.9-64
2017-09-04
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人