CA2975305C - Machine-based instruction editing - Google Patents

Machine-based instruction editing Download PDF

Info

Publication number
CA2975305C
CA2975305C CA2975305A CA2975305A CA2975305C CA 2975305 C CA2975305 C CA 2975305C CA 2975305 A CA2975305 A CA 2975305A CA 2975305 A CA2975305 A CA 2975305A CA 2975305 C CA2975305 C CA 2975305C
Authority
CA
Canada
Prior art keywords
function
candidate
preferred
equivalence
machine
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.)
Active
Application number
CA2975305A
Other languages
English (en)
French (fr)
Other versions
CA2975305A1 (en
Inventor
Steven Bucuvalas
Kevin SELKER
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Phase Change Software LLC
Original Assignee
Phase Change Software LLC
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 Phase Change Software LLC filed Critical Phase Change Software LLC
Publication of CA2975305A1 publication Critical patent/CA2975305A1/en
Application granted granted Critical
Publication of CA2975305C publication Critical patent/CA2975305C/en
Active legal-status Critical Current
Anticipated expiration legal-status Critical

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
    • G06F8/41—Compilation
    • G06F8/44—Encoding
    • G06F8/443—Optimisation
    • 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

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)
CA2975305A 2015-02-09 2016-02-09 Machine-based instruction editing Active CA2975305C (en)

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
CA2975305A1 CA2975305A1 (en) 2016-08-18
CA2975305C true CA2975305C (en) 2023-02-28

Family

ID=55527624

Family Applications (1)

Application Number Title Priority Date Filing Date
CA2975305A Active CA2975305C (en) 2015-02-09 2016-02-09 Machine-based instruction editing

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

Family Cites Families (12)

* 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
US8739144B2 (en) * 2008-12-17 2014-05-27 Freescale Semiconductor, Inc. Compiler optimisation like idiom recognition through pattern matching using value numbering
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

Also Published As

Publication number Publication date
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
JP2018505506A (ja) 2018-02-22

Similar Documents

Publication Publication Date Title
CA2975305C (en) Machine-based instruction editing
US20230333828A1 (en) Inductive equivalence in machine-based instruction editing
US11017094B2 (en) System and method for java deserialization vulnerability detection
Bernardi et al. Design pattern detection using a DSL‐driven graph matching approach
Bultan et al. String analysis for software verification and security
US11327722B1 (en) Programming language corpus generation
US9645800B2 (en) System and method for facilitating static analysis of software applications
CN109145235B (zh) 用于解析网页的方法、装置及电子设备
Alkhalaf et al. Verifying client-side input validation functions using string analysis
US20210103514A1 (en) Reusable test cases for identifiable patterns
Huang et al. Detecting sensitive data disclosure via bi-directional text correlation analysis
US11397817B2 (en) Binary patch reconciliation and instrumentation system
US12189788B2 (en) Identifying and addressing potential vulnerabilities in third-party code
US8819645B2 (en) Application analysis device
CN118193382A (zh) 应用程序的测试方法、装置、设备、存储介质及程序产品
US11144287B2 (en) Compile time validation of programming code
US20140040865A1 (en) System and method for using an abstract syntax tree to encapsulate the descriptive assertions in an annotation based standard into a code based library
CN119357950B (zh) 一种支持规则自动推导与跨库分析的密码误用检测方法、设备、介质及产品
Mezhuev et al. Numeric Truncation Security Predicate
Pandey et al. Integrated Development Environment Powered by AI with Database Security and Cloud
CN108255802A (zh) 通用文本解析架构及基于所述架构解析文本的方法和装置
CN120950340A (zh) 内核探针生成方法、装置、计算机设备及存储介质
CN120763937A (zh) 基于按需稀疏值流图构建的面向漏洞检测方法及系统

Legal Events

Date Code Title Description
EEER Examination request

Effective date: 20210126

EEER Examination request

Effective date: 20210126

EEER Examination request

Effective date: 20210126

EEER Examination request

Effective date: 20210126

EEER Examination request

Effective date: 20210126