- 博客(3)
- 资源 (21)
- 收藏
- 关注
原创 CatchConv 分析
CatchConv完成的工作主要有:VEX IR 到 STP表达式的转换污点分析整数类型推理关于”IR到STP表达式”以及“污点分析”的部分暂时不予讨论 。整数类型推理的部分,主要思想是:将程序中的变量位置标记为 signed unsigned unknown contradictory 四种 signed 表示这块地址的操作一直是有符号的,unsigned则是无符号的,unknown则
2015-03-30 18:37:23 660
转载 5种最常用的开源协议及它们的适用范围(转)
本文,我们来看5种最常用的开源协议及它们的适用范围,供那些准备开源或者使用开源产品的开发人员/厂家参考。BSD开源协议BSD开源协议是一个给于使用者很大自由的协议。基本上使用者可以”为所欲为”,可以自由的使用,修改源代码,也可以将修改后的代码作为开源或者专有软件再发布。但”为所欲为”的前提当你发布使用了BSD协议的代码,或则以BSD协议代码为基础做二次开发自己的产品时,需要满足三个条件:如果再发布的
2015-03-30 12:57:20 2179
原创 为NotePad++ 配置VS 编译环境
对于很多程序员来说很多时候或许想写一个小的c或者c++算法程序或者测试程序,如果在Linux环境下,自然使用gcc和任意一款文本编辑器即可,而如果在windows环境下,不想使用笨重的VS来编程的话,可以配置NotePad的VS编译命令。 之前使用了为Notepad++配备Visual C++ 2010编译器中的方法。但是在重装了VS2012后,库目录设置一直不正...
2015-03-26 14:37:52 2810
WebLogic_EXP.jar WebLogic反序列化利用工具
2019-10-31
ysoserial.jar
2019-10-31
sulley API doc
2018-09-29
IDA Pro权威指南(第二版) 高清 非影印版
2018-04-09
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人