Computer Science ›› 2015, Vol. 42 ›› Issue (9): 171-176.doi: 10.11896/j.issn.1002-137X.2015.09.033
Previous Articles Next Articles
JING Jing, JIANG Lie-hui, HE Hong-qi and ZHANG Yuan-yuan
| [1] Lin Zhi-qiang.Reverse engineering of data structures from binary[D].West Lafayette:Purdue University,2011 [2] Van Emmerik M.Single Static Assignment for Decompilation[D].Queensland:University of Queensland,2006 [3] 孙维新.二进制翻译中基本数据类型分析的研究与实现[D].郑州:解放军信息工程大学,2007 Sun Wei-xin.Study and implementation basic data type analysis in static binary translation[D].Zhengzhou:PLA Information Engineering University,2007 [4] 何东,尹青,谢耀宾,等.反编译中数据类型自动重构技术研究[J].计算机科学,2012,39(5):133-136 He Dong,Yin Qing,Xie Yao-bin,et al.Automatic data type reconstruction in decompilation[J].Computer Sciense,2012,39(5):133-136 [5] 马金鑫,李舟军,忽朝俭,等.一种重构二进制代码中类型抽象的方法[J].计算机研究与发展,2013,50(11):2418-2428 Ma Jin-xin,Li Zhou-jun,Hu Chao-jian,et al.A reconstruction method of type abstraction in binary code[J].Journal of Computer Research and Development,2013,50(11):2418-2428 [6] Ding Wei,Gu Zhi-ming,Gao Feng.Reconstruction of data type in obfuscated binary programs[C]∥16th International Confe-rence on Advanced Communication Technology.PyeongChang,South Korea,2014:393-369 [7] Balakrishnan G,Reps T.WYSINWYX:What you see is notwhat you execute[J].ACM Transactions on Programming Languages And Systems,2010,32(6):202-213 [8] Balakrishnan G,Reps T.DIVINE:discovering variables in executables[C]∥Proceedings of the 8th International Conference on Verification,Model Checking,and Abstract Interpretation.Nice,France,2007:1-28 [9] Anand K,Elwazeer K,Kotha A,et al.An accurate stack memory abstraction and symbolic analysis framework for executables[C]∥29th IEEE International Conference on Software Maintenance.Eindhoven,Netherland,2013:90-99 [10] Cousot P,Cousot R.Interpretation:A unified lattice model for static analysis[C]∥Proceedings of the 4th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages.New York,USA 1977:238-252 [11] 王雅文,宫云战,肖庆,等.基于抽象解释的变量值范围分析及应用[J].电子学报,2011,39(2):296-302 Wang Ya-wen,Gong Yun-zhan,Xiao Qing,et al.A method of variable range analysis based on abstract interpretation and its applications[J].ACTA Electronica Sinica,2011,39(2):296-302 [12] Brumley D,Jager I,Avgerinos T,et al.BAP:A binary analysis platform[C]∥23rd International Conference on Computer Aided Verification.Snowbird,UT,USA,2011:463-469 [13] Lee J,Avgerinos T,Brumley D.TIE:Principled Reverse Engi-neering of Types in Binary Programs[C]∥Proceedings of the Network and Distributed System Security Symposium.San Diego,USA,2011:session 5 [14] Song D,Brumley D,Yin Heng,et al.BitBlaze:A new approach to computer security via binary analysis[C]∥4th International Conference on Information Systems Security.Hyderabad,India,2008:1-25 [15] Aho A V,Lam M S,Sethi R,et al.Compilers:Principles,Techniques,and Tools(2nd Edition)[M].Boston:Addison Wesley,2007 [16] 刘絮颖.反编译中控制流重构与控制结构恢复技术研究[D].郑州:解放军信息工程大学,2011 Liu Xu-ying.Research on technology of control flow reconstruction and control structure recovery in decompilation[D].Zhengzhou:PLA Information Engineering University,2011 [17] Durfina L,Kroustek J,Zemek P,et al.Detection and recovery of functions and their arguments in a retargetable decompiler[C]∥19th Working Conference on Reverse Engineering.Kingston,Canada,2012:56-60 [18] 吴滨.汇编级程序辅助分析中的库函数识别技术研究[D].郑州:解放军信息工程大学,2011 Wu Bin.Research on library function identification technology in assemble level program auxiliary analysis[D].Zhengzhou:PLA Information Engineering University,2011 [19] Jing Jing,Jiang Lie-hui,Liu Tie-ming,et al.A precision-tunable CFG reconstruction algorithm[C]∥International Conference on Mechatronic Sciences,Electric Engineering and Computer.Shenyang,China,2013:2095-2099 |
| No related articles found! |
|
||
Home