CN104823161B - 生成无运算符代码的编译器 - Google Patents

生成无运算符代码的编译器 Download PDF

Info

Publication number
CN104823161B
CN104823161B CN201380058354.5A CN201380058354A CN104823161B CN 104823161 B CN104823161 B CN 104823161B CN 201380058354 A CN201380058354 A CN 201380058354A CN 104823161 B CN104823161 B CN 104823161B
Authority
CN
China
Prior art keywords
computer program
machine
compiler
generated
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.)
Expired - Fee Related
Application number
CN201380058354.5A
Other languages
English (en)
Chinese (zh)
Other versions
CN104823161A (zh
Inventor
P.M.H.M.A.戈里斯森
L.M.G.M.托休伊泽恩
M.邓
W.P.A.J.米奇伊斯
W.I.J.吉斯彭
C.P.M.J.巴格根
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.)
Koninklijke Philips NV
Original Assignee
Koninklijke Philips Electronics NV
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
Family has litigation
First worldwide family litigation filed litigation Critical https://patents.darts-ip.com/?family=47757443&utm_source=google_patent&utm_medium=platform_link&utm_campaign=public_patent_search&patent=CN104823161(B) "Global patent litigation dataset” by Darts-ip is licensed under a Creative Commons Attribution 4.0 International License.
Application filed by Koninklijke Philips Electronics NV filed Critical Koninklijke Philips Electronics NV
Publication of CN104823161A publication Critical patent/CN104823161A/zh
Application granted granted Critical
Publication of CN104823161B publication Critical patent/CN104823161B/zh
Expired - Fee Related 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/40—Transformation of program code
    • G06F8/41—Compilation
    • G06F8/42—Syntactic analysis
    • G06F8/425—Lexical analysis
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
    • G06F21/10—Protecting distributed programs or content, e.g. vending or licensing of copyrighted material ; Digital rights management [DRM]
    • G06F21/12—Protecting executable software
    • G06F21/14—Protecting executable software against software analysis or reverse engineering, e.g. by obfuscation
    • 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/447—Target code generation
    • 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/52—Binary to binary

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Software Systems (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Multimedia (AREA)
  • Technology Law (AREA)
  • Computer Hardware Design (AREA)
  • Computer Security & Cryptography (AREA)
  • Devices For Executing Special Programs (AREA)
CN201380058354.5A 2012-11-07 2013-10-30 生成无运算符代码的编译器 Expired - Fee Related CN104823161B (zh)

Applications Claiming Priority (5)

Application Number Priority Date Filing Date Title
US201261723410P 2012-11-07 2012-11-07
US61/723410 2012-11-07
EP13156991 2013-02-27
EP13156991.5 2013-02-27
PCT/EP2013/072668 WO2014072209A1 (en) 2012-11-07 2013-10-30 Compiler generating operator free code

Publications (2)

Publication Number Publication Date
CN104823161A CN104823161A (zh) 2015-08-05
CN104823161B true CN104823161B (zh) 2018-10-09

Family

ID=47757443

Family Applications (1)

Application Number Title Priority Date Filing Date
CN201380058354.5A Expired - Fee Related CN104823161B (zh) 2012-11-07 2013-10-30 生成无运算符代码的编译器

Country Status (8)

Country Link
US (1) US9921813B2 (https=)
EP (1) EP2917833B1 (https=)
JP (1) JP6429785B2 (https=)
CN (1) CN104823161B (https=)
BR (1) BR112015010016A2 (https=)
MX (1) MX2015005621A (https=)
RU (1) RU2015121749A (https=)
WO (1) WO2014072209A1 (https=)

Families Citing this family (16)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20160328539A1 (en) * 2015-05-05 2016-11-10 Nxp B.V. Obscuring Software Code With Split Variables
US10068070B2 (en) * 2015-05-05 2018-09-04 Nxp B.V. White-box elliptic curve point multiplication
CN105404497B (zh) * 2015-10-26 2018-05-25 北京锐安科技有限公司 一种逻辑表达式的解析方法及装置
CN105740215A (zh) * 2016-01-23 2016-07-06 北京掌阔移动传媒科技有限公司 一种数据通信编码和解码方法
WO2018236384A1 (en) * 2017-06-22 2018-12-27 Archeo Futurus, Inc. Compiling and optimizing a computer code by minimizing a number of states in a finite machine corresponding to the computer code
US9996328B1 (en) 2017-06-22 2018-06-12 Archeo Futurus, Inc. Compiling and optimizing a computer code by minimizing a number of states in a finite machine corresponding to the computer code
US10481881B2 (en) 2017-06-22 2019-11-19 Archeo Futurus, Inc. Mapping a computer code to wires and gates
EP4312403A3 (en) * 2017-11-09 2024-02-21 nChain Licensing AG Arithmetic enhancement of c-like smart contracts for verifiable computation
EP3591550A1 (en) * 2018-07-06 2020-01-08 Koninklijke Philips N.V. A compiler device with masking function
US10996981B2 (en) * 2019-03-15 2021-05-04 Toshiba Memory Corporation Processor zero overhead task scheduling
CN111736839B (zh) * 2019-03-25 2025-04-08 华为技术有限公司 一种编译链接方法及装置
CN110543407B (zh) * 2019-08-21 2021-11-05 杭州趣链科技有限公司 一种Solidity智能合约性能静态分析方法
CN111091612B (zh) * 2019-10-09 2023-06-02 武汉凌久微电子有限公司 一种抽象目标码架构的着色语言机器码生成方法及装置
US11921616B1 (en) * 2022-03-29 2024-03-05 Amazon Technologies, Inc. Retaining Dafny specifications
US11934810B2 (en) * 2022-05-19 2024-03-19 Microsoft Technology Licensing, Llc Translating an edit from a child computer language to a parent computer language while maintaining a semantic meaning of the edit
CN116068955A (zh) * 2022-12-27 2023-05-05 湖北楚天高速数字科技有限公司 一种软plc控制方法、装置、设备及存储介质

Citations (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5781752A (en) * 1996-12-26 1998-07-14 Wisconsin Alumni Research Foundation Table based data speculation circuit for parallel processing computer
EP0905616A2 (en) * 1997-09-29 1999-03-31 Nec Corporation Language processing system and method for generating an object program from a source program by use of two-step jump
US20070079296A1 (en) * 2005-09-30 2007-04-05 Zhiyuan Li Compressing "warm" code in a dynamic binary translation environment
US20090228717A1 (en) * 2006-04-28 2009-09-10 Yuichi Futa System for making program difficult to read, device for making program difficult to read, and method for making program difficult to read
CN102043659A (zh) * 2010-12-08 2011-05-04 上海交通大学 消除内存访问冲突的编译装置及其实现方法
US20110214110A1 (en) * 2010-02-26 2011-09-01 Red Hat, Inc. Compiler Mechanism for Handling Conditional Statements

Family Cites Families (8)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US6658492B1 (en) * 1998-03-20 2003-12-02 Sun Microsystems, Inc. System and method for reducing the footprint of preloaded classes
JP2000194567A (ja) * 1998-12-25 2000-07-14 Toshiba Corp コンパイル装置、コンパイル方法、コンパイルプログラムを格納したコンピュ―タ読み取り可能な記録媒体および目的プログラムを格納したコンピュ―タ読み取り可能な記録媒体
CA2298990A1 (en) * 2000-02-18 2001-08-18 Cloakware Corporation Method and system for resistance to power analysis
US7996671B2 (en) 2003-11-17 2011-08-09 Bluerisc Inc. Security of program executables and microprocessors based on compiler-architecture interaction
US8106463B2 (en) 2005-12-06 2012-01-31 Arm, Inc. Memory cells for read only memories
US20080127142A1 (en) 2006-11-28 2008-05-29 Microsoft Corporation Compiling executable code into a less-trusted address space
US7796671B2 (en) 2008-03-31 2010-09-14 Electro Scientific Industries, Inc. Multi-pass optical power amplifier
EP2482184A1 (en) 2011-02-01 2012-08-01 Irdeto B.V. Adaptive obfuscated virtual machine

Patent Citations (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5781752A (en) * 1996-12-26 1998-07-14 Wisconsin Alumni Research Foundation Table based data speculation circuit for parallel processing computer
EP0905616A2 (en) * 1997-09-29 1999-03-31 Nec Corporation Language processing system and method for generating an object program from a source program by use of two-step jump
US20070079296A1 (en) * 2005-09-30 2007-04-05 Zhiyuan Li Compressing "warm" code in a dynamic binary translation environment
US20090228717A1 (en) * 2006-04-28 2009-09-10 Yuichi Futa System for making program difficult to read, device for making program difficult to read, and method for making program difficult to read
US20110214110A1 (en) * 2010-02-26 2011-09-01 Red Hat, Inc. Compiler Mechanism for Handling Conditional Statements
CN102043659A (zh) * 2010-12-08 2011-05-04 上海交通大学 消除内存访问冲突的编译装置及其实现方法

Also Published As

Publication number Publication date
WO2014072209A1 (en) 2014-05-15
BR112015010016A2 (pt) 2017-07-11
JP6429785B2 (ja) 2018-11-28
CN104823161A (zh) 2015-08-05
US9921813B2 (en) 2018-03-20
EP2917833B1 (en) 2018-12-12
US20150277865A1 (en) 2015-10-01
MX2015005621A (es) 2015-08-20
RU2015121749A (ru) 2016-12-27
JP2015537298A (ja) 2015-12-24
EP2917833A1 (en) 2015-09-16

Similar Documents

Publication Publication Date Title
CN104823161B (zh) 生成无运算符代码的编译器
Borrello et al. Constantine: Automatic side-channel resistance using efficient control and data flow linearization
Barthe et al. Formal verification of a constant-time preserving C compiler
Sharif et al. Automatic reverse engineering of malware emulators
Dehesa-Azuara et al. Verifying and synthesizing constant-resource implementations with types
US8645930B2 (en) System and method for obfuscation by common function and common function prototype
Barry et al. Compilation of a countermeasure against instruction-skip fault attacks
Van Cleemput et al. Adaptive compiler strategies for mitigating timing side channel attacks
US20100058303A1 (en) System and method for conditional expansion obfuscation
Sinha et al. A compiler and verifier for page access oblivious computation
Edler von Koch et al. Exploiting function similarity for code size reduction
Gupta et al. Analysis of high-level address code transformations for programmable processors
Hummel et al. Annotating the Java bytecodes in support of optimization
Couroussé et al. Runtime code polymorphism as a protection against side channel attacks
CN104395876A (zh) 没有算术和逻辑单元的计算机处理器和系统
Wichelmann et al. MAMBO–V: Dynamic side-channel leakage analysis on RISC–V
Deo et al. Performance and metrics analysis between python3 via mojo
Fu et al. Efficient and retargetable SIMD translation in a dynamic binary translator
Chen et al. Confuse: Llvm-based code obfuscation
Barthe et al. Provably secure compilation of side-channel countermeasures
Wang et al. Research on Code Virtualization Methods for Cloud Applications
Winderix et al. Efficient Enforcement Mechanisms for the Preservation of Control-Flow Confidentiality
Gu et al. Constant-time wasmtime, for real this time: End-to-end verified zero-overhead constant-time programming for the web and beyond
Batchelder Java bytecode obfuscation
Jantz et al. Analyzing and addressing false interactions during compiler optimization phase ordering

Legal Events

Date Code Title Description
PB01 Publication
C10 Entry into substantive examination
SE01 Entry into force of request for substantive examination
GR01 Patent grant
GR01 Patent grant
CF01 Termination of patent right due to non-payment of annual fee

Granted publication date: 20181009

Termination date: 20201030

CF01 Termination of patent right due to non-payment of annual fee