基本信息
李炼男博导中国科学院计算技术研究所
电子邮件： lianli@ict.ac.cn
通信地址： 中科院计算所国家重点实验室
邮政编码：

研究领域


我们小组专注于研究通过程序分析技术来帮助提高软件系统的可靠性和安全性。我们的目标是研究创新的程序分析方法并实现切实有效的开发工具，来帮助程序开发人员和测试人员有效解决软件中普遍存在的可靠性和安全性问题。我们开发了静态分析检测系统Wukong。 Wukong实现了一系列深度程序分析方法，能够检测跨函数、跨组件、涉及复杂依赖关系的深度安全漏洞。 Wukong支持主流 C/C++、 Java、 Android等编程语言及开发环境， 并能够从谷歌Chromium、 Bash、 sed、 大数据处理系统Hadoop等常见开源软件中发现数千已有商业工具无法检测到的深层错误和潜在安全漏洞， 其中超过一百个严重错误已经被开源社区确认。我们研究的方法和工具已经发表在领域内顶级会议包括 SOSP、FSE、ASE、CGO上。






招生信息
招生专业081202-计算机软件与理论

招生方向程序分析，软件安全,软件工程


教育背景2003-03--2007-08University of New South Wales, Australia博士
1993-09--1998-06清华大学工程物理系学士

学历
学位

工作经历
工作简历2015-04~现在,中国科学院计算技术研究所,****研究员
2011-06~2015-03,甲骨文公司澳大利亚实验室,主管研究员 （Principal member of technical staff）
2008-06~2011-06,升阳公司实验室,高级研究员（Senior Member of Technical Staff）
2007-09~2008-05,University of New South Wales, Australia,PostDoc
2001-08~2002-10,Celestry公司北京分公司,软件工程师
1998-07~2001-07,中国科学院计算技术研究所,助理研究员

社会兼职

教授课程编译程序高级教程


专利与奖励
奖励信息
专利成果（ 1 ） System and method for overflow detection using symbolic analysis, 发明, 2012, 第 1 作者, 专利号: US 12/642,729
（ 2 ） Points-to analysis as value flow, 发明, 2012, 第 1 作者, 专利号: US 13/117,058
（ 3 ） Context-sensitive analysis framework using value flows, 发明, 2012, 第 1 作者, 专利号: US 13/117,078
（ 4 ） cifuentes，Path-sensitive analysis framework for bug checking, 发明, 2015, 第 1 作者, 专利号: US 14/188,552
（ 5 ） Method and system for performing backward-driven path-sensitive dataflow analysis, 发明, 2013, 第 3 作者, 专利号: US 13/192,349


出版信息
发表论文（1）Performance-Boosting Sparsification of the IFDS Algorithm with Applications to Taint Analysis (Distinguished Paper Award),the 34th IEEE/ACM International Conference on Automated Software Engineering (ASE'19),2019-11,通讯作者
（2）CrashTuner: Detecting Crash Recovery Bugs in Cloud Systems via Meta-info Analysis,Symposium on Operating Systems Principles (SOSP'19),2019,通讯作者
（3）Understanding Node Change Bugs for Distributed Systems,IEEE 26th International Conference on Software Analysis, Evolution and Reengineering (SANER'19),2019,通讯作者
（4）CloudRaid : Hunting Concurrency Bugs in the Cloud via Log-Mining,ACM conference on the Foundations of Software Engineering (FSE'18),2018,通讯作者
（5）Understanding and Detecting Evolution-induced Compatibility Issues in Android Apps,The 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE'18),2018,通讯作者
（6）May-Happen-in-Parallel Analysis with Static Vector Clocks,International Symposium on Code Generation and Optimization (CGO'18),2018,通讯作者
（7）Dynamic Symbolic Execution for Polymorphism,26th International Conference on Compiler Construction (CC'17),2017,通讯作者
（8）Symbolic Execution with Value-range Analysis for Floating-point Exception Detection,24th Asia-Pacific Software Engineering Conference (APSEC'17),2017,第2作者
（9）Memos: A Full Hierarchy Hybrid Memory Management Framework,The 34th International Conference on Computer Design (ICCD'16),2016,第5作者
（10）Precise and Scalable Context-sensitive Pointer Analysis via Value Flow Graph,International Symposium on Memory Management (ISMM'13),2013,通讯作者
（11）Path-Sensitive Data Flow Analysis Simplified,International Conference on Formal Engineering Methods (ICFEM'13),2013,第4作者
（12）Through the Looking Glass: Transitioning Parfait into a Development Tool,IEEE Security & Privacy Journal,2012,第3作者
（13）SEED: A Statically-Greedy and Dynamically-Adaptive Approach for Speculative Loop Execution,IEEE Transaction on Computers,2012,第2作者
（14）Boosting the Performance of Flow-sensitive Pointer Analysis using Value Flow,ACM SIGSOFT Symposium on the Foundations of Software Engineering,2011,通讯作者
（15）Static Deep Error Checking in Large System Applications using Parfait,ACM SIGSOFT Symposium on the Foundations of Software Engineering,2011,第3作者
（16）Practical and Effective Symbolic Analysis for Buffer Overow Detection,ACM SIGSOFT Symposium on the Foundations of Software Engineering,2010,第1作者
（17）Scratchpad Memory Allocation for Data Aggregates via Interval Coloring in Superperfect Graphs,ACM Transaction on Embedded Computing Systems,2010,第1作者
（18）Program Analysis for Bug Detection using Parfait,Workshop on Partial Evaluation and Semantic-Based Program Manipulation,2009,第3作者
（19）BegBunch: Benchmarking for C Bug Detection Tools,Workshop on Defects in Large Software Systems,2009,第4作者
（20）Compiler-directed Scratchpad Memory Management via Graph Coloring,ACM Transaction on Architecture and Code Optimisation,2009,第1作者
（21）Exploiting Speculative TLP in Recursive Pro-grams by Dynamic Thread Prediction,International Conference on Compiler Construction,2009,第2作者
（22）Thread-Sensitive Modulo Scheduling for Multi-core Processors,International Conference on Parallel Processing,2008,第3作者
（23）Towards Data Tiling for Whole Programs in Scratchpad Memory Allocation,Asia-Pacfic Computer Systems Architecture Conference,2007,第1作者
（24）Scratchpad Allocation for Data Aggregates in Superperfect Graphs,ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems,2007,第1作者
（25）Trace-based leakage energy optimisations at link time,Journal of Systems Architecture,2007,第1作者
（26）Loop recreation for thread-level speculation,International Conference on Parallel and Distributed Systems,2007,第2作者
（27）Trace-Based Data Cache Leakage Reduction at Link Time,Asia-Paci_c Computer Systems Architecture Conference,2006,第1作者
（28）Memory Coloring: A Compiler Approach for Scratchpad Memory Management,International Conference on Parallel Architecture and Compilation Techniques,2005,第1作者
（29）A trace-based binary compilation framework for energy-aware computing,ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems,2004,第1作者

发表著作

科研活动
科研项目（ 1 ） ****A类（择优支持）, 主持,部委级,2015-04--2017-12
（ 2 ） 基于程序分析技术的软件质量保障体系, 主持,市地级,2015-07--2017-12
（ 3 ） Static Data Race Detection for Pthread Programs, 主持,院级,2016-01--2017-06
（ 4 ） AI应用自动测试与分析工具, 主持,院级,2018-11--2019-12

参与会议

合作情况
项目协作单位

指导学生已指导学生
周卿博士研究生081201-计算机系统结构
王科峰硕士研究生085211-计算机技术
何冬杰硕士研究生081201-计算机系统结构
张馨元硕士研究生081201-计算机系统结构
现指导学生
陆杰博士研究生081201-计算机系统结构
袁挺博士研究生081201-计算机系统结构
孟海宁博士研究生081202-计算机软件与理论
刘晨博士研究生081202-计算机软件与理论
李广威博士研究生081202-计算机软件与理论
郑恒杰硕士研究生081202-计算机软件与理论
曹立庆硕士研究生081202-计算机软件与理论
李昊峰博士研究生081202-计算机软件与理论