CN104137076B - 用于验证应用的方法和设备 - Google Patents

用于验证应用的方法和设备 Download PDF

Info

Publication number
CN104137076B
CN104137076B CN201380010829.3A CN201380010829A CN104137076B CN 104137076 B CN104137076 B CN 104137076B CN 201380010829 A CN201380010829 A CN 201380010829A CN 104137076 B CN104137076 B CN 104137076B
Authority
CN
China
Prior art keywords
application
gpu
code
modified version
models
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
CN201380010829.3A
Other languages
English (en)
Chinese (zh)
Other versions
CN104137076A (zh
Inventor
阿列克谢·V·布尔德
杰伊·春苏普·云
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.)
Qualcomm Inc
Original Assignee
Qualcomm Inc
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 Qualcomm Inc filed Critical Qualcomm Inc
Publication of CN104137076A publication Critical patent/CN104137076A/zh
Application granted granted Critical
Publication of CN104137076B publication Critical patent/CN104137076B/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
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Prevention of errors by analysis, debugging or testing of software
    • G06F11/3604—Analysis of software for verifying properties of programs
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/07—Responding to the occurrence of a fault, e.g. fault tolerance
    • G06F11/0703—Error or fault processing not based on redundancy, i.e. by taking additional measures to deal with the error or fault not making use of redundancy in operation, in hardware, or in data representation
    • G06F11/0706—Error or fault processing not based on redundancy, i.e. by taking additional measures to deal with the error or fault not making use of redundancy in operation, in hardware, or in data representation the processing taking place on a specific hardware platform or in a specific software environment
    • G06F11/0736—Error or fault processing not based on redundancy, i.e. by taking additional measures to deal with the error or fault not making use of redundancy in operation, in hardware, or in data representation the processing taking place on a specific hardware platform or in a specific software environment in functional embedded systems, i.e. in a data processing system designed as a combination of hardware and software dedicated to performing a certain function
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/07—Responding to the occurrence of a fault, e.g. fault tolerance
    • G06F11/0703—Error or fault processing not based on redundancy, i.e. by taking additional measures to deal with the error or fault not making use of redundancy in operation, in hardware, or in data representation
    • G06F11/0751—Error or fault detection not based on redundancy
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/07—Responding to the occurrence of a fault, e.g. fault tolerance
    • G06F11/0703—Error or fault processing not based on redundancy, i.e. by taking additional measures to deal with the error or fault not making use of redundancy in operation, in hardware, or in data representation
    • G06F11/0793—Remedial or corrective actions
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Prevention of errors by analysis, debugging or testing of software
    • G06F11/3604—Analysis of software for verifying properties of programs
    • G06F11/3612—Analysis of software for verifying properties of programs by runtime analysis
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Prevention of errors by analysis, debugging or testing of software
    • G06F11/362—Debugging of software
    • G06F11/3648—Debugging of software using additional hardware
    • G06F11/3652—Debugging of software using additional hardware in-circuit-emulation [ICE] arrangements
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Prevention of errors by analysis, debugging or testing of software
    • G06F11/3698—Environments for analysis, debugging or testing of software
    • 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/50—Monitoring users, programs or devices to maintain the integrity of platforms, e.g. of processors, firmware or operating systems
    • G06F21/55—Detecting local intrusion or implementing counter-measures
    • G06F21/56—Computer malware detection or handling, e.g. anti-virus arrangements
    • G06F21/566—Dynamic detection, i.e. detection performed at run-time, e.g. emulation, suspicious activities
    • 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
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F2221/00—Indexing scheme relating to security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
    • G06F2221/03—Indexing scheme relating to G06F21/50, monitoring users, programs or devices to maintain the integrity of platforms
    • G06F2221/033—Test or assess software

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Computer Hardware Design (AREA)
  • Quality & Reliability (AREA)
  • Software Systems (AREA)
  • Computer Security & Cryptography (AREA)
  • Health & Medical Sciences (AREA)
  • General Health & Medical Sciences (AREA)
  • Virology (AREA)
  • Stored Programmes (AREA)
  • Debugging And Monitoring (AREA)
CN201380010829.3A 2012-02-27 2013-01-30 用于验证应用的方法和设备 Expired - Fee Related CN104137076B (zh)

Applications Claiming Priority (3)

Application Number Priority Date Filing Date Title
US13/406,272 2012-02-27
US13/406,272 US9075913B2 (en) 2012-02-27 2012-02-27 Validation of applications for graphics processing unit
PCT/US2013/023874 WO2013130212A1 (en) 2012-02-27 2013-01-30 Validation of applications for graphics processing unit

Publications (2)

Publication Number Publication Date
CN104137076A CN104137076A (zh) 2014-11-05
CN104137076B true CN104137076B (zh) 2017-05-24

Family

ID=47846123

Family Applications (1)

Application Number Title Priority Date Filing Date
CN201380010829.3A Expired - Fee Related CN104137076B (zh) 2012-02-27 2013-01-30 用于验证应用的方法和设备

Country Status (6)

Country Link
US (2) US9075913B2 (enExample)
EP (1) EP2820544A1 (enExample)
JP (1) JP5934392B2 (enExample)
KR (1) KR101569308B1 (enExample)
CN (1) CN104137076B (enExample)
WO (1) WO2013130212A1 (enExample)

Families Citing this family (28)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US9424089B2 (en) * 2012-01-24 2016-08-23 Samsung Electronics Co., Ltd. Hardware acceleration of web applications
US9648133B2 (en) * 2012-03-12 2017-05-09 Telefonaktiebolaget L M Ericsson Optimizing traffic load in a communications network
US9104873B1 (en) * 2012-05-21 2015-08-11 Symantec Corporation Systems and methods for determining whether graphics processing units are executing potentially malicious processes
US8990183B2 (en) * 2012-06-06 2015-03-24 Microsoft Technology Licensing, Llc Deep application crawling
JP6602669B2 (ja) 2012-06-15 2019-11-06 サイクル コンピューティング，エルエルシー クラウドインフラストラクチャ内のインフラストラクチャ欠陥を自動的に検出及び解決する方法及びシステム
US9646153B2 (en) * 2012-08-08 2017-05-09 Intel Corporation Securing content from malicious instructions
US10684838B2 (en) * 2012-10-02 2020-06-16 Razer (Asia-Pacific) Pte. Ltd. Dynamic application deployment
US9092617B2 (en) * 2012-11-08 2015-07-28 Intel Corporation Protecting systems from unauthorized access to system resources using browser independent web page technology
US9268668B1 (en) * 2012-12-20 2016-02-23 Google Inc. System for testing markup language applications
US10101982B2 (en) * 2013-01-31 2018-10-16 Htc Corporation Methods for application management in an electronic device supporting hardware acceleration
EP2973172B1 (en) * 2013-03-12 2017-07-26 Intel Corporation Preventing malicious instruction execution
US9740886B2 (en) * 2013-03-15 2017-08-22 Sony Interactive Entertainment Inc. Enhanced security for hardware decoder accelerator
US20140289719A1 (en) * 2013-03-20 2014-09-25 Google Inc. Automatic version management
US9819661B2 (en) * 2013-09-12 2017-11-14 The Boeing Company Method of authorizing an operation to be performed on a targeted computing device
US9747084B2 (en) * 2014-09-09 2017-08-29 Google Inc. Offline shader compilation
US9841972B2 (en) * 2014-12-17 2017-12-12 Cisco Technology, Inc. Securing secret information in source code verification and at runtime
US10241761B2 (en) * 2014-12-29 2019-03-26 Nvidia Corporation System and method for compiler support for compile time customization of code
US20160357530A1 (en) * 2015-06-05 2016-12-08 Apple Inc. Method and apparatus for intermediate representation of applications
US20180113794A1 (en) * 2015-06-10 2018-04-26 Intel Corporation Webgl application analyzer
CN107240155B (zh) * 2016-03-29 2019-02-19 腾讯科技（深圳）有限公司 一种模型对象构建的方法、服务器及3d应用系统
CN105976305B (zh) * 2016-04-26 2019-01-08 福州瑞芯微电子股份有限公司 一种图形加速器ip验证方法和装置
US10423500B2 (en) * 2016-06-01 2019-09-24 Seagate Technology Llc Technologies for limiting performance variation in a storage device
US10445218B2 (en) * 2017-06-06 2019-10-15 Microsoft Technology Licensing, Llc Execution of graphic workloads on a simulated hardware environment
KR102002545B1 (ko) * 2017-12-15 2019-07-22 슈어소프트테크주식회사 가상화를 통한 코드 테스트 수행 자동화 방법 및 장치
KR102691895B1 (ko) 2019-01-29 2024-08-06 삼성전자주식회사 가속 컴퓨팅 환경을 제공하는 서버 및 제어 방법
WO2020194000A1 (en) * 2019-03-28 2020-10-01 Validata Holdings Limited Method of detecting and removing defects
US20230104468A1 (en) * 2021-10-06 2023-04-06 Dell Products L.P. Ransomware detection in host encrypted data environment
US12086576B2 (en) * 2022-07-29 2024-09-10 Xilinx, Inc. Method for mitigating memory access conflicts in a multi-core graph compiler

Citations (7)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN101238438A (zh) * 2005-07-08 2008-08-06 微软公司 用以提高仿真器性能的虚拟代码的选择性预编译
US20100100963A1 (en) * 2008-10-21 2010-04-22 Flexilis, Inc. System and method for attack and malware prevention
US7797747B1 (en) * 2006-02-21 2010-09-14 Symantec Corporation Detection of malicious code in non-paged pool unused pages
US20110035736A1 (en) * 2007-02-14 2011-02-10 The Mathworks, Inc. Graphical processing unit (gpu) arrays
US20110102443A1 (en) * 2009-11-04 2011-05-05 Microsoft Corporation Virtualized GPU in a Virtual Machine Environment
US20110145920A1 (en) * 2008-10-21 2011-06-16 Lookout, Inc System and method for adverse mobile application identification
US20110173693A1 (en) * 2007-02-16 2011-07-14 Wysopal Christopher J Assessment and analysis of software security flaws

Family Cites Families (48)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2665089B2 (ja) 1991-09-26 1997-10-22 三菱電機株式会社 分散環境下におけるコンパイル方式
JPH05342012A (ja) 1992-06-10 1993-12-24 Sony Corp コンパイル方法およびコンパイラ
US5761512A (en) 1995-12-27 1998-06-02 International Business Machines Corporation Automatic client-server complier
US5987256A (en) 1997-09-03 1999-11-16 Enreach Technology, Inc. System and process for object rendering on thin client platforms
JP4027482B2 (ja) 1997-12-24 2007-12-26 富士通株式会社 暗号復元を行う翻訳装置およびその方法
JP2000122871A (ja) 1998-10-14 2000-04-28 Hitachi Ltd アプリケーション配布方法
JP2000215181A (ja) 1999-01-21 2000-08-04 Fujitsu Ltd ネットワ―クコンピュ―タシステム及び代理コンパイルサ―バ装置
JP2001195264A (ja) 2000-01-07 2001-07-19 Toshiba Corp コンパイル方法および計算機システム
KR100441115B1 (ko) 2001-06-27 2004-07-19 주식회사 인터와이즈 정보 단말기의 자바 프로그램 처리 속도 향상을 위한 자바컴파일 온 디멘드 서비스 시스템 및 그 방법
JP2003114813A (ja) * 2001-10-03 2003-04-18 Ibm Japan Ltd 分析サーバ、プログラム分析ネットワークシステム、およびプログラム分析方法
JP2003216434A (ja) 2002-01-25 2003-07-31 Hewlett Packard Co <Hp> 小型情報機器において、ユーザプロファイルデータの活用により、ダウンロードプログラムの最適化を図る方法およびシステム。
US7340730B2 (en) 2002-03-18 2008-03-04 Sun Microsystems, Inc. On demand, network accessible, run time compile server
US7009605B2 (en) 2002-03-20 2006-03-07 Nvidia Corporation System, method and computer program product for generating a shader program
US7707563B2 (en) 2003-01-10 2010-04-27 Nexaweb Technologies Inc System and method for network-based computing
US7095416B1 (en) * 2003-09-22 2006-08-22 Microsoft Corporation Facilitating performance analysis for processing
US7961194B2 (en) * 2003-11-19 2011-06-14 Lucid Information Technology, Ltd. Method of controlling in real time the switching of modes of parallel operation of a multi-mode parallel graphics processing subsystem embodied within a host computing system
US7587712B2 (en) 2003-12-19 2009-09-08 Marvell International Ltd. End-to-end architecture for mobile client JIT processing on network infrastructure trusted servers
US7248265B2 (en) 2004-04-16 2007-07-24 Apple Inc. System and method for processing graphics operations with graphics processing unit
US7548892B2 (en) 2004-04-30 2009-06-16 Microsoft Corporation Processing machine learning techniques using a graphics processing unit
US20060012604A1 (en) 2004-07-15 2006-01-19 Avinash Seetharamaiah Legacy processing for pixel shader hardware
KR100590686B1 (ko) 2004-07-15 2006-06-19 에스케이 텔레콤주식회사 이동통신 단말기에서 3ｄ 관련 데이터를 표시하기 위한그래픽 가속기 제어 방법
US7733347B2 (en) 2004-11-05 2010-06-08 Microsoft Corporation Automated construction of shader programs
US8274518B2 (en) * 2004-12-30 2012-09-25 Microsoft Corporation Systems and methods for virtualizing graphics subsystems
US7650639B2 (en) 2005-03-31 2010-01-19 Microsoft Corporation System and method for protecting a limited resource computer from malware
US8271964B2 (en) 2005-05-16 2012-09-18 Microsoft Corporation Extensible software development services
US20070169066A1 (en) 2005-11-17 2007-07-19 Nielsen Spencer J System and method for an extensible 3D interface programming framework
US8764566B2 (en) 2006-02-24 2014-07-01 Igt Internet remote game server
US8436870B1 (en) * 2006-08-01 2013-05-07 Nvidia Corporation User interface and method for graphical processing analysis
WO2008038389A1 (en) * 2006-09-28 2008-04-03 Fujitsu Limited Program performance analyzing apparatus
US8453104B2 (en) 2006-10-27 2013-05-28 Microsoft Corporation Thin client software development environment
US7950003B1 (en) * 2006-12-07 2011-05-24 Sony Computer Entertainment Inc. Heads-up-display software development tool for analyzing and optimizing computer software
US7986325B1 (en) 2006-12-12 2011-07-26 Nvidia Corporation Loading integer-based data into a graphics processing system
US7992137B2 (en) * 2007-07-30 2011-08-02 Nvidia Corporation Client server system for analysis and performance tuning of remote graphics devices
US8365153B2 (en) 2007-10-26 2013-01-29 Qualcomm Incorporated Server-based code compilation
US9064322B1 (en) * 2008-04-16 2015-06-23 Nvidia Corporation Method and system for steering access to display configuration information in a multi-GPU system
US8294723B2 (en) * 2008-11-07 2012-10-23 Google Inc. Hardware-accelerated graphics for web applications using native code modules
US8397241B2 (en) * 2008-11-13 2013-03-12 Intel Corporation Language level support for shared virtual memory
US8479286B2 (en) 2009-12-15 2013-07-02 Mcafee, Inc. Systems and methods for behavioral sandboxing
EP2336882A1 (en) 2009-12-18 2011-06-22 Telefonaktiebolaget L M Ericsson (PUBL) Technique for run-time provision of executable code using off-device services
US8462166B2 (en) * 2010-10-01 2013-06-11 Apple Inc. Graphics system which measures CPU and GPU performance
US8479295B2 (en) * 2011-03-30 2013-07-02 Intel Corporation Method and apparatus for transparently instrumenting an application program
US8584242B2 (en) * 2011-07-12 2013-11-12 At&T Intellectual Property I, L.P. Remote-assisted malware detection
US9514507B2 (en) * 2011-11-29 2016-12-06 Citrix Systems, Inc. Methods and systems for maintaining state in a virtual machine when disconnected from graphics hardware
US20130226535A1 (en) * 2012-02-24 2013-08-29 Jeh-Fu Tuan Concurrent simulation system using graphic processing units (gpu) and method thereof
US9633230B2 (en) * 2012-10-11 2017-04-25 Intel Corporation Hardware assist for privilege access violation checks
US9405575B2 (en) * 2013-09-09 2016-08-02 Apple Inc. Use of multi-thread hardware for efficient sampling
US20150199262A1 (en) * 2014-01-16 2015-07-16 Vivek Bhavsar Runtime code visualization
US20150212815A1 (en) * 2014-01-24 2015-07-30 Nvidia Corporation Methods and systems for maintenance and control of applications for performance tuning

Patent Citations (7)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN101238438A (zh) * 2005-07-08 2008-08-06 微软公司 用以提高仿真器性能的虚拟代码的选择性预编译
US7797747B1 (en) * 2006-02-21 2010-09-14 Symantec Corporation Detection of malicious code in non-paged pool unused pages
US20110035736A1 (en) * 2007-02-14 2011-02-10 The Mathworks, Inc. Graphical processing unit (gpu) arrays
US20110173693A1 (en) * 2007-02-16 2011-07-14 Wysopal Christopher J Assessment and analysis of software security flaws
US20100100963A1 (en) * 2008-10-21 2010-04-22 Flexilis, Inc. System and method for attack and malware prevention
US20110145920A1 (en) * 2008-10-21 2011-06-16 Lookout, Inc System and method for adverse mobile application identification
US20110102443A1 (en) * 2009-11-04 2011-05-05 Microsoft Corporation Virtualized GPU in a Virtual Machine Environment

Also Published As

Publication number Publication date
KR20140139516A (ko) 2014-12-05
US20130227521A1 (en) 2013-08-29
CN104137076A (zh) 2014-11-05
EP2820544A1 (en) 2015-01-07
US20150261651A1 (en) 2015-09-17
WO2013130212A1 (en) 2013-09-06
JP5934392B2 (ja) 2016-06-15
US9075913B2 (en) 2015-07-07
JP2015511737A (ja) 2015-04-20
KR101569308B1 (ko) 2015-11-13

Similar Documents

Publication Publication Date Title
CN104137076B (zh) 用于验证应用的方法和设备
US11507669B1 (en) Characterizing, detecting and healing vulnerabilities in computer code
US11188639B2 (en) System, method and apparatus for automatic program compartmentalization
US20080127142A1 (en) Compiling executable code into a less-trusted address space
KR20160112757A (ko) 사용자 장치 및 그것에 대한 무결성 검증 방법
US20130174258A1 (en) Execution of Multiple Execution Paths
CN105518622A (zh) 验证动态二进制转换器中转换的来宾代码的方法和设备
WO2023096726A1 (en) Vulnerability analysis of a computer driver
Arzt et al. The soot-based toolchain for analyzing android apps
US9582407B2 (en) Security role testing using an embeddable container and properties object
US9021596B2 (en) Correcting workflow security vulnerabilities via static analysis and virtual patching
US20190042750A1 (en) Pluggable trust architecture
Ivanov et al. {SAGE}: Software-based attestation for {GPU} execution
Dong et al. What did you pack in my app? a systematic analysis of commercial Android packers
JP2022172237A (ja) プライバシー保持アプリケーションおよびデバイスエラー検出
Li et al. Fuzzcache: Optimizing web application fuzzing through software-based data cache
Duarte et al. Leveraging arm trustzone and verifiable computing to provide auditable mobile functions
US20250173129A1 (en) Protecting and attesting program executions through shadow programs
Xu et al. Framework for State‐Aware Virtual Hardware Fuzzing
CN115357912B (zh) 一种瞬态执行攻击漏洞检测方法、终端及存储介质
US20240119656A1 (en) Method of Operating Shared GPU Resource and a Shared GPU Device
McDaniel et al. Identifying weaknesses in VM/hypervisor interfaces
Zhang et al. DRSA: Debug Register-Based Self-relocating Attack Against Software-Based Remote Authentication
Canana WArdian: Securing WebAssembly Applications on Untrusted Mobile Operating Systems
Yao et al. Security Unit Test

Legal Events

Date Code Title Description
C06 Publication
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
CF01 Termination of patent right due to non-payment of annual fee

Granted publication date: 20170524

Termination date: 20190130