JP2017027375A5 - - Google Patents

Download PDF

Info

Publication number
JP2017027375A5
JP2017027375A5 JP2015145452A JP2015145452A JP2017027375A5 JP 2017027375 A5 JP2017027375 A5 JP 2017027375A5 JP 2015145452 A JP2015145452 A JP 2015145452A JP 2015145452 A JP2015145452 A JP 2015145452A JP 2017027375 A5 JP2017027375 A5 JP 2017027375A5
Authority
JP
Japan
Prior art keywords
subroutine
instruction
program
machine language
source code
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Granted
Application number
JP2015145452A
Other languages
English (en)
Japanese (ja)
Other versions
JP6418696B2 (ja
JP2017027375A (ja
Filing date
Publication date
Application filed filed Critical
Priority to JP2015145452A priority Critical patent/JP6418696B2/ja
Priority claimed from JP2015145452A external-priority patent/JP6418696B2/ja
Priority to CN201680055109.2A priority patent/CN108027748B/zh
Priority to PCT/JP2016/071632 priority patent/WO2017014318A1/ja
Publication of JP2017027375A publication Critical patent/JP2017027375A/ja
Priority to US15/877,397 priority patent/US10459707B2/en
Publication of JP2017027375A5 publication Critical patent/JP2017027375A5/ja
Application granted granted Critical
Publication of JP6418696B2 publication Critical patent/JP6418696B2/ja
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

JP2015145452A 2015-07-23 2015-07-23 命令セットシミュレータおよびそのシミュレータ生成方法 Active JP6418696B2 (ja)

Priority Applications (4)

Application Number Priority Date Filing Date Title
JP2015145452A JP6418696B2 (ja) 2015-07-23 2015-07-23 命令セットシミュレータおよびそのシミュレータ生成方法
CN201680055109.2A CN108027748B (zh) 2015-07-23 2016-07-22 指令集模拟器及其模拟器生成方法
PCT/JP2016/071632 WO2017014318A1 (ja) 2015-07-23 2016-07-22 命令セットシミュレータおよびそのシミュレータ生成方法
US15/877,397 US10459707B2 (en) 2015-07-23 2018-01-23 Instruction-set simulator and its simulator generation method

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP2015145452A JP6418696B2 (ja) 2015-07-23 2015-07-23 命令セットシミュレータおよびそのシミュレータ生成方法

Publications (3)

Publication Number Publication Date
JP2017027375A JP2017027375A (ja) 2017-02-02
JP2017027375A5 true JP2017027375A5 (enExample) 2018-08-16
JP6418696B2 JP6418696B2 (ja) 2018-11-07

Family

ID=57834504

Family Applications (1)

Application Number Title Priority Date Filing Date
JP2015145452A Active JP6418696B2 (ja) 2015-07-23 2015-07-23 命令セットシミュレータおよびそのシミュレータ生成方法

Country Status (4)

Country Link
US (1) US10459707B2 (enExample)
JP (1) JP6418696B2 (enExample)
CN (1) CN108027748B (enExample)
WO (1) WO2017014318A1 (enExample)

Families Citing this family (12)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2013242700A (ja) * 2012-05-21 2013-12-05 Internatl Business Mach Corp <Ibm> コード最適化方法、プログラム及びシステム
US10884720B2 (en) 2018-10-04 2021-01-05 Microsoft Technology Licensing, Llc Memory ordering annotations for binary emulation
US20200183661A1 (en) * 2018-12-11 2020-06-11 GM Global Technology Operations LLC Method and apparatus for cross-execution of binary embedded software
US10684835B1 (en) * 2018-12-11 2020-06-16 Microsoft Technology Licensing, Llc Improving emulation and tracing performance using compiler-generated emulation optimization metadata
CN110309655B (zh) * 2019-07-05 2021-08-17 武汉绿色网络信息服务有限责任公司 一种检测app更新过程中安全性的方法以及检测装置
CN110659032B (zh) * 2019-09-24 2023-08-22 网易（杭州）网络有限公司 游戏应用的指令执行方法、装置、终端设备和存储介质
CN112148370B (zh) * 2020-09-21 2025-09-19 深圳前海微众银行股份有限公司 机器代码生成方法、装置、设备及计算机可读存储介质
US11900136B2 (en) * 2021-07-28 2024-02-13 Sony Interactive Entertainment LLC AoT compiler for a legacy game
CN117407267B (zh) * 2022-07-07 2025-08-15 格兰菲智能科技股份有限公司 条件分支覆盖率计算方法、装置、计算机设备、存储介质
US20240338186A1 (en) * 2023-04-06 2024-10-10 Oracle International Corporation Compile-Time Checking For Exhaustive Switch Statements And Expressions
US12487828B2 (en) * 2023-05-23 2025-12-02 Microchip Technology Inc. Processor having switch instruction circuit
CN119883372B (zh) * 2025-03-24 2025-06-27 北京开源芯片研究院 指令流的重建方法、装置、电子设备及可读存储介质

Family Cites Families (16)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPH096646A (ja) * 1995-06-14 1997-01-10 Oki Electric Ind Co Ltd プログラムシミュレーション装置
JPH1083311A (ja) * 1996-09-06 1998-03-31 Mitsubishi Electric Corp シミュレータ
JP3495230B2 (ja) * 1997-06-30 2004-02-09 Ｎｅｃマイクロシステム株式会社 エミュレーション処理方式
EP1010070B1 (de) * 1997-09-01 2002-10-23 Fujitsu Siemens Computers GmbH Verfahren zum umsetzen eines objektcodes in einen programmcode
WO1999030229A1 (en) * 1997-12-11 1999-06-17 Digits Corp. Object code analysis and remediation system and method
JP3956131B2 (ja) * 2002-12-26 2007-08-08 インターナショナル・ビジネス・マシーンズ・コーポレーション プログラム変換装置、プログラム変換方法及びプログラム
US7356672B2 (en) * 2004-05-28 2008-04-08 The Regents Of The University Of California Warp processor for dynamic hardware/software partitioning
US8621444B2 (en) * 2004-06-01 2013-12-31 The Regents Of The University Of California Retargetable instruction set simulators
US8056138B2 (en) * 2005-02-26 2011-11-08 International Business Machines Corporation System, method, and service for detecting improper manipulation of an application
CN101216775A (zh) * 2008-01-03 2008-07-09 北京深思洛克数据保护中心 一种软件程序的保护方法、装置及系统
US20100274755A1 (en) * 2009-04-28 2010-10-28 Stewart Richard Alan Binary software binary image analysis
US8510723B2 (en) * 2009-05-29 2013-08-13 University Of Maryland Binary rewriting without relocation information
JP5542643B2 (ja) * 2010-12-10 2014-07-09 三菱電機株式会社 シミュレーション装置及びシミュレーションプログラム
US8726255B2 (en) * 2012-05-01 2014-05-13 Concurix Corporation Recompiling with generic to specific replacement
KR102147355B1 (ko) * 2013-09-27 2020-08-24 삼성전자 주식회사 프로그램 변환 방법 및 장치
US20180211046A1 (en) * 2017-01-26 2018-07-26 Intel Corporation Analysis and control of code flow and data flow

Similar Documents

Publication Publication Date Title
JP2017027375A5 (enExample)
CN105468505B (zh) 覆盖率测试方法及覆盖率测试装置
US9921946B2 (en) Method and system to display and browse program trace using source code decoration
CN104536810B (zh) 一种基于栈的异常检测方法和装置
US20160217121A1 (en) Generating regular expression
CN106502896A (zh) 一种函数测试代码的生成方法及装置
US20170091073A1 (en) Detection of antipatterns through statistical analysis
JP2017538996A5 (enExample)
JP2018005890A (ja) 未知のプログラムバイナリのための入力発見
US9703547B2 (en) Computing program equivalence based on a hierarchy of program semantics and related canonical representations
CN102981956B (zh) overlay符号表建立和查找的方法、装置及程序调制系统
JP2013228845A (ja) コードを投機的に最適化するための方法、並びにそのコンピュータ及びコンピュータ・プログラム
CN108846069B (zh) 一种基于标记语言的文档执行方法及装置
CN108399321B (zh) 基于动态指令依赖图胎记的软件局部抄袭检测方法
WO2018001041A1 (zh) 接口实现方法、装置、机顶盒及存储介质
US20150095897A1 (en) Method and apparatus for converting programs
US8782090B2 (en) Aiding report construction based on inference of implicit application level relationships
Redis et al. Processtbench: an LLM plan generation dataset for process mining
CN103443766B (zh) 程序的影响范围设定装置，和利用该装置的影响范围的特定方法及受影响程序的提取方法
JP6025955B1 (ja) プログラム解析装置及びプログラム解析方法
Sirikul et al. Automated detection of code smells caused by null checking conditions in Java programs
CN114995820A (zh) 代码翻译方法、装置、设备、存储介质和程序产品
WO2017088547A1 (zh) 一种数据升级方法和装置
CN105844166A (zh) 一种敏感数据识别方法和装置
JP6437396B2 (ja) トレース情報管理システム、方法、及びプログラム