JP2018505506A - 機械ベースの命令編集 - Google Patents

機械ベースの命令編集 Download PDF

Info

Publication number
JP2018505506A
JP2018505506A JP2017560472A JP2017560472A JP2018505506A JP 2018505506 A JP2018505506 A JP 2018505506A JP 2017560472 A JP2017560472 A JP 2017560472A JP 2017560472 A JP2017560472 A JP 2017560472A JP 2018505506 A JP2018505506 A JP 2018505506A
Authority
JP
Japan
Prior art keywords
function
candidate
preferred
equivalence
preferred function
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.)
Pending
Application number
JP2017560472A
Other languages
English (en)
Japanese (ja)
Other versions
JP2018505506A5 (enExample
Inventor
スティーブン ブクヴァラス
スティーブン ブクヴァラス
ケビン セルカー
ケビン セルカー
Original Assignee
フェイズ チェンジ ソフトウェア エルエルシー
フェイズ チェンジ ソフトウェア エルエルシー
Priority date (The priority date 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 date listed.)
Filing date
Publication date
Application filed by フェイズ チェンジ ソフトウェア エルエルシー, フェイズ チェンジ ソフトウェア エルエルシー filed Critical フェイズ チェンジ ソフトウェア エルエルシー
Publication of JP2018505506A publication Critical patent/JP2018505506A/ja
Publication of JP2018505506A5 publication Critical patent/JP2018505506A5/ja
Pending legal-status Critical Current

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/70—Software maintenance or management
    • G06F8/72—Code refactoring
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/30—Creation or generation of source code
    • G06F8/36—Software reuse
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformation of program code
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformation of program code
    • G06F8/41—Compilation
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformation of program code
    • G06F8/41—Compilation
    • G06F8/44—Encoding
    • G06F8/443—Optimisation

Landscapes

  • Engineering & Computer Science (AREA)
  • Software Systems (AREA)
  • General Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Stored Programmes (AREA)
JP2017560472A 2015-02-09 2016-02-09 機械ベースの命令編集 Pending JP2018505506A (ja)

Applications Claiming Priority (9)

Application Number Priority Date Filing Date Title
US201562113627P 2015-02-09 2015-02-09
US201562113623P 2015-02-09 2015-02-09
US62/113,627 2015-02-09
US62/113,623 2015-02-09
US201662277769P 2016-01-12 2016-01-12
US62/277,769 2016-01-12
US201662280965P 2016-01-20 2016-01-20
US62/280,965 2016-01-20
PCT/US2016/017160 WO2016130551A1 (en) 2015-02-09 2016-02-09 Machine-based instruction editing

Publications (2)

Publication Number Publication Date
JP2018505506A true JP2018505506A (ja) 2018-02-22
JP2018505506A5 JP2018505506A5 (enExample) 2019-02-28

Family

ID=55527624

Family Applications (1)

Application Number Title Priority Date Filing Date
JP2017560472A Pending JP2018505506A (ja) 2015-02-09 2016-02-09 機械ベースの命令編集

Country Status (6)

Country Link
US (3) US10296330B2 (enExample)
EP (1) EP3238050A1 (enExample)
JP (1) JP2018505506A (enExample)
CA (1) CA2975305C (enExample)
IL (2) IL253424B (enExample)
WO (1) WO2016130551A1 (enExample)

Families Citing this family (12)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US8745557B1 (en) 2006-09-11 2014-06-03 The Mathworks, Inc. Hardware definition language generation for data serialization from executable graphical models
WO2016130551A1 (en) 2015-02-09 2016-08-18 Phase Change Software Llc Machine-based instruction editing
US10423733B1 (en) * 2015-12-03 2019-09-24 The Mathworks, Inc. Systems and methods for sharing resources having different data types
EP3545440A1 (en) * 2017-04-11 2019-10-02 Siemens Product Lifecycle Management Software Inc. Systems and methods to semantically compare product configuration models
US10564939B2 (en) * 2017-06-05 2020-02-18 Devfactory Fz-Llc Method and system for arbitrary-granularity execution clone detection
US10732966B2 (en) * 2017-09-08 2020-08-04 Devfactory Innovations Fz-Llc Library model addition
US10114624B1 (en) * 2017-10-12 2018-10-30 Devfactory Fz-Llc Blackbox matching engine
EP3545407B1 (en) 2017-12-05 2025-09-03 Phase Change Software LLC Inductive equivalence in machine-based instruction editing
DE202017007536U1 (de) 2017-12-05 2022-07-05 Phase Change Software Llc Induktive Äquivalenz bei der maschinellen Bearbeitung von Anweisungen
US12393425B2 (en) * 2018-08-10 2025-08-19 Beijing Naura Microelectronics Equipment Co., Ltd. Control system and method of machine and host computer
US12050668B1 (en) * 2021-01-08 2024-07-30 Take-Two Interactive Software, Inc. Method and system for obfuscating and protecting game logic and variables during video game compilation
US11822699B1 (en) * 2021-10-21 2023-11-21 Secure Computing, Llc Preventing surreptitious access to file data by malware

Citations (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20110225572A1 (en) * 2008-12-17 2011-09-15 Freescale Semiconductor Inc. Compiler optimisation like idiom recognition through pattern matching using value numbering

Family Cites Families (11)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US1029633A (en) 1911-05-06 1912-06-18 William W Revell Vehicle-wheel.
US1045239A (en) 1911-10-02 1912-11-26 Waterloo Gasolene Engine Company Device for turning crank-pins on engine-shafts.
US3205369A (en) * 1960-05-09 1965-09-07 Honeywell Inc Electro-mechanical plugboard sequencing apparatus
US8683441B2 (en) 2006-01-11 2014-03-25 International Business Machines Corporation Software equivalence checking
US8434059B2 (en) * 2009-05-01 2013-04-30 Apple Inc. Systems, methods, and computer-readable media for fertilizing machine-executable code
US20110126179A1 (en) * 2009-11-24 2011-05-26 Thomas Hartman Method and System for Dynamic Patching Software Using Source Code
US9836283B2 (en) * 2014-11-14 2017-12-05 Cavium, Inc. Compiler architecture for programmable application specific integrated circuit based network devices
WO2016130551A1 (en) 2015-02-09 2016-08-18 Phase Change Software Llc Machine-based instruction editing
WO2016130542A1 (en) 2015-02-10 2016-08-18 The Trustees Of Columbia University In The City Of New York Code relatives detection
US10048945B1 (en) * 2017-05-25 2018-08-14 Devfactory Fz-Llc Library suggestion engine
EP3545407B1 (en) 2017-12-05 2025-09-03 Phase Change Software LLC Inductive equivalence in machine-based instruction editing

Patent Citations (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20110225572A1 (en) * 2008-12-17 2011-09-15 Freescale Semiconductor Inc. Compiler optimisation like idiom recognition through pattern matching using value numbering

Non-Patent Citations (1)

* Cited by examiner, † Cited by third party
Title
小川秀人、外５名: "形式手法のソフトウェア開発利用の課題と事例", ウインターワークショップ2015・イン・宜野湾 論文集, JPN6019044323, 15 January 2015 (2015-01-15), pages 43 - 44, ISSN: 0004302597 *

Also Published As

Publication number Publication date
CA2975305C (en) 2023-02-28
US20200050449A1 (en) 2020-02-13
IL253424B (en) 2021-07-29
US10877748B2 (en) 2020-12-29
IL284340A (en) 2021-07-29
IL284340B (en) 2022-01-01
US20190258480A1 (en) 2019-08-22
EP3238050A1 (en) 2017-11-01
US10296330B2 (en) 2019-05-21
CA2975305A1 (en) 2016-08-18
IL253424A0 (en) 2017-08-31
US10452390B2 (en) 2019-10-22
WO2016130551A1 (en) 2016-08-18
US20180011706A1 (en) 2018-01-11

Similar Documents

Publication Publication Date Title
US10877748B2 (en) Machine-based instruction editing
US11074362B2 (en) System and method for code-based protection of sensitive data
CA2779087C (en) Managing record format information
US11720334B2 (en) Inductive equivalence in machine-based instruction editing
CN106528165B (zh) 代码生成方法及代码生成系统
US10387236B2 (en) Processing data errors for a data processing system
EP3623948A1 (en) Method and system for code analysis to identify causes of code smells
JP2017519300A (ja) ソフトウェアアナリティクスのためのシステム及び方法
CN111931181A (zh) 基于图挖掘的软件逻辑漏洞检测方法
Stephan et al. MuMonDE: A framework for evaluating model clone detectors using model mutation analysis
CN119149015A (zh) 一种生成代码的方法及装置
US8819645B2 (en) Application analysis device
Lano et al. Software modelling for sustainable software engineering
CN113672233B (zh) 一种基于Redfish的服务器带外管理方法、装置及设备
US11144287B2 (en) Compile time validation of programming code
CN118839350B (zh) 代码的修复方法、装置、设备及介质
CN119781744A (zh) 一种代码生成方法及相关设备
CN119357950A (zh) 一种支持规则自动推导与跨库分析的密码误用检测方法、设备、介质及产品
CN119719126A (zh) 一种json快速定位校验方法、系统、设备及存储介质
HK1169726A (en) Managing record format information

Legal Events

Date Code Title Description
A521 Request for written amendment filed

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20190117

A621 Written request for application examination

Free format text: JAPANESE INTERMEDIATE CODE: A621

Effective date: 20190117

A977 Report on retrieval

Free format text: JAPANESE INTERMEDIATE CODE: A971007

Effective date: 20191017

A131 Notification of reasons for refusal

Free format text: JAPANESE INTERMEDIATE CODE: A131

Effective date: 20191119

A601 Written request for extension of time

Free format text: JAPANESE INTERMEDIATE CODE: A601

Effective date: 20200117

A02 Decision of refusal

Free format text: JAPANESE INTERMEDIATE CODE: A02

Effective date: 20200714