JP2013539130A5 - - Google Patents

Download PDF

Info

Publication number
JP2013539130A5
JP2013539130A5 JP2013531616A JP2013531616A JP2013539130A5 JP 2013539130 A5 JP2013539130 A5 JP 2013539130A5 JP 2013531616 A JP2013531616 A JP 2013531616A JP 2013531616 A JP2013531616 A JP 2013531616A JP 2013539130 A5 JP2013539130 A5 JP 2013539130A5
Authority
JP
Japan
Prior art keywords
boundary
user
annotation
type
memory access
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
JP2013531616A
Other languages
English (en)
Japanese (ja)
Other versions
JP2013539130A (ja
JP5893038B2 (ja
Filing date
Publication date
Priority claimed from US12/892,291 external-priority patent/US8533695B2/en
Application filed filed Critical
Publication of JP2013539130A publication Critical patent/JP2013539130A/ja
Publication of JP2013539130A5 publication Critical patent/JP2013539130A5/ja
Application granted granted Critical
Publication of JP5893038B2 publication Critical patent/JP5893038B2/ja
Expired - Fee Related legal-status Critical Current
Anticipated expiration legal-status Critical

Links

JP2013531616A 2010-09-28 2011-09-09 ユーザ定義型のコンパイル時境界検査 Expired - Fee Related JP5893038B2 (ja)

Applications Claiming Priority (3)

Application Number Priority Date Filing Date Title
US12/892,291 US8533695B2 (en) 2010-09-28 2010-09-28 Compile-time bounds checking for user-defined types
US12/892,291 2010-09-28
PCT/US2011/051023 WO2012047447A1 (en) 2010-09-28 2011-09-09 Compile-time bounds checking for user-defined types

Publications (3)

Publication Number Publication Date
JP2013539130A JP2013539130A (ja) 2013-10-17
JP2013539130A5 true JP2013539130A5 (enExample) 2014-10-02
JP5893038B2 JP5893038B2 (ja) 2016-03-23

Family

ID=45872016

Family Applications (1)

Application Number Title Priority Date Filing Date
JP2013531616A Expired - Fee Related JP5893038B2 (ja) 2010-09-28 2011-09-09 ユーザ定義型のコンパイル時境界検査

Country Status (8)

Country Link
US (1) US8533695B2 (enExample)
EP (1) EP2622466B1 (enExample)
JP (1) JP5893038B2 (enExample)
KR (1) KR101786156B1 (enExample)
CN (1) CN102402451B (enExample)
CA (1) CA2810986A1 (enExample)
ES (1) ES2733516T3 (enExample)
WO (1) WO2012047447A1 (enExample)

Families Citing this family (21)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US8291393B2 (en) * 2007-08-20 2012-10-16 International Business Machines Corporation Just-in-time compiler support for interruptible code
US10705804B2 (en) * 2012-02-26 2020-07-07 Logistics Research Centre SIA Strongly typed metadata access in object oriented programming languages with reflection support
US9195442B2 (en) 2012-07-10 2015-11-24 Oracle International Corporation System and method for compiling lambda expression in a programming language environment
US8954939B2 (en) * 2012-12-31 2015-02-10 Microsoft Corporation Extending a development environment
US20140196015A1 (en) * 2013-01-04 2014-07-10 Microsoft Corporation Declaration of lifetime of resource reference
US9098269B2 (en) 2013-01-04 2015-08-04 Microsoft Technology Licensing, Llc System and method to ensure resource access safety with immutable object types
US9772828B2 (en) * 2014-04-22 2017-09-26 Oracle International Corporation Structural identification of dynamically generated, pattern-instantiation, generated classes
US9672015B2 (en) * 2015-09-28 2017-06-06 Semmle Limited Automatic determination of compiler configuration
US9684492B2 (en) 2015-09-28 2017-06-20 Semmle Limited Automatic determination of compiler configuration
CN110337650A (zh) * 2017-03-02 2019-10-15 三菱电机株式会社 信息处理装置和访问管理程序
US10706164B2 (en) * 2017-09-29 2020-07-07 Intel Corporation Crypto-enforced capabilities for isolation
CN108459873B (zh) * 2018-03-05 2021-09-24 中国人民解放军国防科技大学 一种提高开源代码注释率及注释质量的方法
US11023214B2 (en) * 2018-07-30 2021-06-01 Roger James Poon System and method for eliminating runtime out-of-bounds errors and exceptions
KR102322965B1 (ko) * 2020-03-23 2021-11-09 주식회사 티맥스 소프트 Transpiler를 통하여 전환된 언어와 source 언어간 범용 런타임 검증 시스템
US10963228B1 (en) * 2020-12-22 2021-03-30 Temper Systems, Inc. Preventing garbage object accumulation on minimal runtimes
US12487824B2 (en) * 2021-09-21 2025-12-02 Intel Corporation Immediate offset of load store and atomic instructions
US20230315412A1 (en) * 2022-03-30 2023-10-05 Microsoft Technology Licensing, Llc Scalable behavioral interface specification checking
US20240104013A1 (en) * 2022-09-28 2024-03-28 Intel Corporation Deterministic adjacent overflow detection for slotted memory pointers
CN118113291A (zh) * 2022-11-30 2024-05-31 华为技术有限公司 一种内存安全管理方法及设备
US12450045B2 (en) * 2023-02-13 2025-10-21 Oracle International Corporation Modeling java source code in a symbolic description language
US12436749B2 (en) * 2023-03-31 2025-10-07 Veracode, Inc. Inferring type definitions of user-defined types of variables in application program code

Family Cites Families (18)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US4584666A (en) 1984-06-21 1986-04-22 Motorola, Inc. Method and apparatus for signed and unsigned bounds check
US5075845A (en) * 1989-12-22 1991-12-24 Intel Corporation Type management and control in an object oriented memory protection mechanism
US5644709A (en) 1994-04-21 1997-07-01 Wisconsin Alumni Research Foundation Method for detecting computer memory access errors
US5694539A (en) * 1994-08-10 1997-12-02 Intrinsa Corporation Computer process resource modelling method and apparatus
US6014723A (en) 1996-01-24 2000-01-11 Sun Microsystems, Inc. Processor with accelerated array access bounds checking
JPH10275087A (ja) * 1997-03-28 1998-10-13 Fujitsu Ltd コンパイル装置
US6149318A (en) 1997-04-15 2000-11-21 Samuel C. Kendall Link-time and run-time error detection, and program instrumentation
US6343375B1 (en) 1998-04-24 2002-01-29 International Business Machines Corporation Method for optimizing array bounds checks in programs
JP3280332B2 (ja) 1998-07-10 2002-05-13 インターナショナル・ビジネス・マシーンズ・コーポレーション ループに対するバージョニングを実行する方法及び装置、配列レンジ・チェックに関する情報をベーシック・ブロック内において収集する方法及び装置、配列レンジ・チェックに関する情報を変更する方法、配列レンジ・チェック最適化方法、配列レンジ・チェックのためのコードを生成する方法、不要配列レンジ・チェック除去方法及び装置、配列レンジ・チェックを選択する方法、配列レンジ・チェック変更方法、配列レンジ・チェック収集方法、及び配列レンジ・チェック取扱判断方法
US7260817B2 (en) * 1999-07-09 2007-08-21 International Business Machines Corporation Method using array range check information for generating versioning code before a loop for execution
JP3564445B2 (ja) * 2001-09-20 2004-09-08 松下電器産業株式会社 プロセッサ、コンパイル装置及びコンパイル方法
WO2005029241A2 (en) 2003-09-15 2005-03-31 Plum Thomas S Automated safe secure techniques for eliminating
US20050108695A1 (en) * 2003-11-14 2005-05-19 Long Li Apparatus and method for an automatic thread-partition compiler
US7448029B2 (en) * 2004-04-26 2008-11-04 International Business Machines Corporation Modification of array access checking in AIX
US7325007B2 (en) * 2005-03-07 2008-01-29 Microsoft Corporation System and method for supporting non-native data types in a database API
US7650346B2 (en) * 2005-04-01 2010-01-19 Microsoft Corporation User-defined type consistency checker
US7747565B2 (en) * 2005-12-07 2010-06-29 Microsoft Corporation Garbage collector support for transactional memory
US8484613B2 (en) * 2010-01-28 2013-07-09 Synopsys, Inc. Optimizing bounds checking using computer algebra

Similar Documents

Publication Publication Date Title
JP2013539130A5 (enExample)
CN108633309B (zh) 协同程序的编译器优化
JP2015507310A5 (enExample)
US8990786B2 (en) Program optimizing apparatus, program optimizing method, and program optimizing article of manufacture
CN106716361B (zh) 用于运行时例程冗余跟踪的编译器高速缓存
US9058415B1 (en) Counting events using hardware performance counters and annotated instructions
CN106133684B (zh) 用于支持静态编译程序中的动态行为的方法和系统
US20160357531A1 (en) Cross-library framework architecture feature sets
US8468507B2 (en) Binding executable code at runtime
JP2014525623A5 (enExample)
BR112014015666A2 (pt) sistema de análise de texto, estação de trabalho, sistema de informações de serviço de saúde para a provisão de um fluxo de trabalho de relatório eletrônico, método de análise de texto, e produto de programa de computador
JP2014525622A5 (enExample)
US9021455B2 (en) Packed data objects
CN105556464A (zh) 用于高效动态优化的共轭码生成
US11379195B2 (en) Memory ordering annotations for binary emulation
CN105138337B (zh) 一种插件适配方法及插件适配装置
CN103077011B (zh) 一种在JavaScript脚本语言中预生成机器码指令的方法和装置
US20150339138A1 (en) Enhanced java array
CN104317723B (zh) 一种驱动程序运行信息的跟踪方法及系统
TW201502985A (zh) 檔案處理方法及裝置
US20150100834A1 (en) Processing core data produced by a computer process
US20130013666A1 (en) Monitoring data access requests to optimize data transfer
CN103955394A (zh) 一种基于推迟提交的gpu虚拟化优化方法
WO2024253845A1 (en) Detection of unstructured parallelism behavior operations
WO2013185668A1 (zh) 网络应用的构建方法及装置