AR040104A1 - Metodo de verificacion de programas de lenguaje intermedio en una simple pasada, aparato de computacion y modulo de verificacion - Google Patents
Metodo de verificacion de programas de lenguaje intermedio en una simple pasada, aparato de computacion y modulo de verificacionInfo
- Publication number
- AR040104A1 AR040104A1 ARP030101828A ARP030101828A AR040104A1 AR 040104 A1 AR040104 A1 AR 040104A1 AR P030101828 A ARP030101828 A AR P030101828A AR P030101828 A ARP030101828 A AR P030101828A AR 040104 A1 AR040104 A1 AR 040104A1
- Authority
- AR
- Argentina
- Prior art keywords
- program
- verification
- intermediate language
- module
- verification apparatus
- Prior art date
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F9/00—Arrangements for program control, e.g. control units
- G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
- G06F9/44—Arrangements for executing specific programs
- G06F9/445—Program loading or initiating
- G06F9/44589—Program code verification, e.g. Java bytecode verification, proof-carrying code
Landscapes
- Engineering & Computer Science (AREA)
- Software Systems (AREA)
- Theoretical Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Devices For Executing Special Programs (AREA)
- Debugging And Monitoring (AREA)
- Stored Programmes (AREA)
Abstract
Se describe un programa de lenguaje intermedio (IL) se verifica procesando el programa en una simple pasada. Las instrucciones de IL procesadas pueden ser provistas por un compilador just-in-time (JIT) de manera que el programa pueda ser convertido en un programa de lenguaje nativo de un dispositivo objetivo. Un aparato de verificación puede comprender una memoria, un módulo de secuenciamiento, un módulo de actualización de memoria y un módulo de lógica de reglas. La memoria comprende una pila de comandos de IL y una estructura de datos que almacena información de una pila de IL correspondiente a una instrucción de IL procesada. El aparato de verificación procesa el programa de IL de una manera lineal excepto al encontrar instrucciones de IL que corresponden a tipos de códigos de operación designados. En tales casos, el aparato de verificación puede alterar un secuenciamiento de procesamiento del programa de IL utilizando la pila de comandos de IL.
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
US10/180,733 US20040003380A1 (en) | 2002-06-26 | 2002-06-26 | Single pass intermediate language verification algorithm |
Publications (1)
Publication Number | Publication Date |
---|---|
AR040104A1 true AR040104A1 (es) | 2005-03-16 |
Family
ID=29717923
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
ARP030101828A AR040104A1 (es) | 2002-06-26 | 2003-05-26 | Metodo de verificacion de programas de lenguaje intermedio en una simple pasada, aparato de computacion y modulo de verificacion |
Country Status (5)
Country | Link |
---|---|
US (1) | US20040003380A1 (es) |
EP (1) | EP1376342A3 (es) |
AR (1) | AR040104A1 (es) |
BR (1) | BR0301970A (es) |
MX (1) | MXPA03004606A (es) |
Families Citing this family (16)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US7370321B2 (en) * | 2002-11-14 | 2008-05-06 | Microsoft Corporation | Systems and methods to read, optimize, and verify byte codes for a multiplatform jit |
US7320129B2 (en) * | 2003-05-14 | 2008-01-15 | Hewlett-Packard Development Company, L.P. | Native language verification system and method |
US20060041940A1 (en) * | 2004-08-21 | 2006-02-23 | Ko-Cheng Fang | Computer data protecting method |
US9009688B2 (en) * | 2005-12-30 | 2015-04-14 | Intel Corporation | Type checking for object-oriented programming languages |
US7926037B2 (en) * | 2006-01-19 | 2011-04-12 | Microsoft Corporation | Hiding irrelevant facts in verification conditions |
WO2007139840A2 (en) * | 2006-05-24 | 2007-12-06 | Syver, Llc | Method and tool for automatic verification of software protocols |
US8200983B1 (en) * | 2006-09-09 | 2012-06-12 | 9Rays.Net, Inc. | System and method for tamper-proofing executable binary assemblies |
US8413125B2 (en) * | 2007-01-26 | 2013-04-02 | Oracle International Corporation | Asynchronous dynamic compilation based on multi-session profiling to produce shared native code |
US8341609B2 (en) * | 2007-01-26 | 2012-12-25 | Oracle International Corporation | Code generation in the presence of paged memory |
US8037460B2 (en) * | 2007-01-26 | 2011-10-11 | Oracle International Corporation | Code persistence and dependency management for dynamic compilation in a database management system |
US8276131B2 (en) * | 2007-08-30 | 2012-09-25 | International Business Machines Corporation | Method and system for dynamic loop transfer by populating split variables |
US8539464B2 (en) * | 2008-10-30 | 2013-09-17 | International Business Machines Corporation | Distributed just-in-time compilation |
US20110219357A1 (en) * | 2010-03-02 | 2011-09-08 | Microsoft Corporation | Compressing source code written in a scripting language |
US8843908B2 (en) | 2010-12-23 | 2014-09-23 | Microsoft Corporation | Compiler validation via program verification |
US9659156B1 (en) * | 2014-03-20 | 2017-05-23 | Symantec Corporation | Systems and methods for protecting virtual machine program code |
US11409508B1 (en) * | 2021-06-25 | 2022-08-09 | Microsoft Technology Licensing, Llc | Reload ordering for executable code modules |
Family Cites Families (10)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US5918046A (en) * | 1994-01-03 | 1999-06-29 | Intel Corporation | Method and apparatus for a branch instruction pointer table |
US5630066A (en) * | 1994-12-20 | 1997-05-13 | Sun Microsystems, Inc. | System and method for locating object view and platform independent object |
US5748964A (en) * | 1994-12-20 | 1998-05-05 | Sun Microsystems, Inc. | Bytecode program interpreter apparatus and method with pre-verification of data type restrictions |
US6347398B1 (en) * | 1996-12-12 | 2002-02-12 | Microsoft Corporation | Automatic software downloading from a computer network |
US6092147A (en) * | 1997-04-15 | 2000-07-18 | Sun Microsystems, Inc. | Virtual machine with securely distributed bytecode verification |
US5909579A (en) * | 1997-04-23 | 1999-06-01 | Sun Microsystems, Inc. | Method and apparatus for encoding and decoding delta encoded information to locate live pointers in program data stacks |
DE19926467C1 (de) * | 1999-06-10 | 2001-01-11 | Siemens Ag | Verfahren zum Betreiben eines Computersystems, Bytecode-Verifier und Computersystem |
FR2797963B1 (fr) * | 1999-08-23 | 2002-11-29 | Trusted Logic | Protocole de gestion, procede de verification et de transformation d'un fragment de programme telecharge et systemes correspondants |
US6964039B2 (en) * | 2000-12-13 | 2005-11-08 | Esmertec Ag | Method to create optimized machine code through combined verification and translation of JAVA™ bytecode |
US6978451B2 (en) * | 2001-05-31 | 2005-12-20 | Esmertec Ag | Method for fast compilation of preverified JAVA bytecode to high quality native machine code |
-
2002
- 2002-06-26 US US10/180,733 patent/US20040003380A1/en not_active Abandoned
-
2003
- 2003-05-23 MX MXPA03004606A patent/MXPA03004606A/es not_active Application Discontinuation
- 2003-05-26 AR ARP030101828A patent/AR040104A1/es not_active Application Discontinuation
- 2003-05-26 EP EP03011837A patent/EP1376342A3/en not_active Withdrawn
- 2003-05-26 BR BR0301970-5A patent/BR0301970A/pt not_active IP Right Cessation
Also Published As
Publication number | Publication date |
---|---|
US20040003380A1 (en) | 2004-01-01 |
MXPA03004606A (es) | 2004-09-06 |
BR0301970A (pt) | 2004-08-31 |
EP1376342A2 (en) | 2004-01-02 |
EP1376342A3 (en) | 2007-06-06 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
AR040104A1 (es) | Metodo de verificacion de programas de lenguaje intermedio en una simple pasada, aparato de computacion y modulo de verificacion | |
WO2003040918A1 (fr) | Ordinateur virtuel equipe d'un compilateur jit, procede de fonctionnement correspondant, et dispositif terminal comprenant cet ordinateur virtuel | |
ATE557344T1 (de) | Verfahren und gerät zum partitionieren von grossen rechnerprogrammen | |
WO2004006060A3 (en) | Statically speculative compilation and execution | |
AU2003275972A1 (en) | Xml interfaces in unified rendering | |
CN102741812A (zh) | 通过元数据抽取执行动态语言 | |
CN101667135B (zh) | 一种交互式并行化编译系统及其编译方法 | |
DE60332220D1 (de) | Phrasenbasiertes gemeines wahrscheinlichkeitsmodell zur statistischen maschinellen übersetzung | |
TW347512B (en) | Information processing circuit, semiconductor integrated circuit device, microcomputer and electronic equipment | |
DE60216096D1 (de) | Informationsverarbeitungsvorrichtung und -verfahren und programmprodukt | |
BR9914549A (pt) | Aparelho e método para a construção de ferramentas de modelagem | |
BR0007976A (pt) | Processo implementado por computador paraadministrar exceções lançáveis durante execuçãode métodos em uma ou mais classes por umamáquina, método que minimiza a quantidade dearmazenamento requerido para uma pilha emtempo de funcionamento quando executando umprograma, e, sistema implementado porcomputador para administrar exceções lançáveisdurante execução de métodos em uma ou maisclasses por uma máquina | |
RU2005112060A (ru) | Локализация на язык с использованием таблиц | |
US8869123B2 (en) | System and method for applying a sequence of operations code to program configurable logic circuitry | |
ZA202306556B (en) | Natural solution language | |
CN106528261A (zh) | 应用页面初始化的编译控制装置及方法 | |
DE60237312D1 (de) | Datenverarbeitungssystem und -verfahren | |
ATE463774T1 (de) | Verfahren zum erzeugen von softwaremodulen für feldgeräte der prozessautomatisierungstechnik | |
TW200511115A (en) | Method and apparatus for instruction compression and decompression in a cache memory | |
CN105739672A (zh) | 投影输入系统及方法 | |
ATE408183T1 (de) | Übersetzungseinrichtung und verfahren zum übersetzen von benutzereingaben | |
Post | The future of computing performance | |
WO2005111792A3 (en) | Lower power vltw | |
ATE414948T1 (de) | Ausführung eines programms durch eine virtuelle maschine | |
WO2003098431A3 (en) | Method and apparatus for decoding instruction sequences |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
FC | Refusal |