文成
个人信息:Personal Information
讲师 研究生导师
性别:男
学历:博士研究生毕业
学位:工学博士学位
在职信息:在岗
所在单位:广州研究院
入职时间:2022-12-31
学科:计算机软件与理论 计算机科学与技术 软件工程
办公地点:广州市黄埔区新龙镇知明路83号西安电子科技大学广州研究院求真楼A714
联系方式:wencheng [at] xidian.edu.cn
扫描关注
- 通过主动学习生成自动机 (Active Automata Learning Survey)
- Mesh:替代malloc自动减少C/C++应用程序内存占用的内存分配器
- JMP指令也可能是函数调用,二进制实时函数调用检测
- 基于两个维度输入空间探索的文件系统Fuzzing
- EffectiveSan: 利用C/C++动态类型实现内存错误检测
- 从代码更改中推断密码学API规则
- Smack:软件验证工具与软件验证工具链
- DSA:上下文敏感的指针分析/别名分析
- DSA算法运行示例
- HFL:基于混合模糊测试的Linux内核漏洞挖掘
- C/C++程序验证工具汇总
- 挖掘代码覆盖率工具中的Bug
- 基于类型状态机导向的模糊测试技术UAFL
- Recent Papers Related To Fuzzing
- 符号执行技术总结
- Fuzzing技术总结(Brief Surveys on Fuzz Testing)
- 模型学习 Angluins L*算法 学习笔记
- 向着Concolic Testing的最优策略迈进