AUPR745301A0 - Method and system for compiling and verifying computer code - Google Patents

Method and system for compiling and verifying computer code

Info

Publication number
AUPR745301A0
AUPR745301A0 AUPR7453A AUPR745301A AUPR745301A0 AU PR745301 A0 AUPR745301 A0 AU PR745301A0 AU PR7453 A AUPR7453 A AU PR7453A AU PR745301 A AUPR745301 A AU PR745301A AU PR745301 A0 AUPR745301 A0 AU PR745301A0
Authority
AU
Australia
Prior art keywords
compiling
computer code
verifying computer
verifying
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.)
Abandoned
Application number
AUPR7453A
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.)
Mobilesoft Pty Ltd
Original Assignee
MOBILESOFT Pty Ltd
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 MOBILESOFT Pty Ltd filed Critical MOBILESOFT Pty Ltd
Priority to AUPR7453A priority Critical patent/AUPR745301A0/en
Publication of AUPR745301A0 publication Critical patent/AUPR745301A0/en
Priority to PCT/AU2002/001206 priority patent/WO2003021433A1/en
Abandoned legal-status Critical Current

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
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
    • G06F21/60—Protecting data
    • G06F21/64—Protecting data integrity, e.g. using checksums, certificates or signatures
    • G06F21/645—Protecting data integrity, e.g. using checksums, certificates or signatures using a third party
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR 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/21—Indexing scheme relating to G06F21/00 and subgroups addressing additional information or applications relating to security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
    • G06F2221/2151—Time stamp

Landscapes

  • Engineering & Computer Science (AREA)
  • Software Systems (AREA)
  • Theoretical Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Computer Security & Cryptography (AREA)
  • Health & Medical Sciences (AREA)
  • Bioethics (AREA)
  • General Health & Medical Sciences (AREA)
  • Computer Hardware Design (AREA)
  • Stored Programmes (AREA)
AUPR7453A 2001-09-03 2001-09-03 Method and system for compiling and verifying computer code Abandoned AUPR745301A0 (en)

Priority Applications (2)

Application Number Priority Date Filing Date Title
AUPR7453A AUPR745301A0 (en) 2001-09-03 2001-09-03 Method and system for compiling and verifying computer code
PCT/AU2002/001206 WO2003021433A1 (en) 2001-09-03 2002-09-03 Method and system for compiling and verifying computer code

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
AUPR7453A AUPR745301A0 (en) 2001-09-03 2001-09-03 Method and system for compiling and verifying computer code

Publications (1)

Publication Number Publication Date
AUPR745301A0 true AUPR745301A0 (en) 2001-09-27

Family

ID=3831404

Family Applications (1)

Application Number Title Priority Date Filing Date
AUPR7453A Abandoned AUPR745301A0 (en) 2001-09-03 2001-09-03 Method and system for compiling and verifying computer code

Country Status (2)

Country Link
AU (1) AUPR745301A0 (en)
WO (1) WO2003021433A1 (en)

Families Citing this family (7)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US9110737B1 (en) 2014-05-30 2015-08-18 Semmle Limited Extracting source code
US10048960B2 (en) 2014-12-17 2018-08-14 Semmle Limited Identifying source code used to build executable files
US9841972B2 (en) 2014-12-17 2017-12-12 Cisco Technology, Inc. Securing secret information in source code verification and at runtime
CN106325958A (en) * 2016-08-30 2017-01-11 北京小米移动软件有限公司 Code downloading method and compiling server
US10810007B2 (en) 2017-12-29 2020-10-20 Microsoft Technology Licensing, Llc Classifying system-generated code
CN113157322A (en) * 2020-12-29 2021-07-23 深圳微步信息股份有限公司 Method and system for automatically displaying software compiling time
CN113326046B (en) * 2021-05-26 2023-09-26 网易（杭州）网络有限公司 Method and device for acquiring compiling time length

Family Cites Families (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5862361A (en) * 1995-09-07 1999-01-19 C.A.E. Plus, Inc. Sliced synchronous simulation engine for high speed simulation of integrated circuit behavior
US6212578B1 (en) * 1996-09-09 2001-04-03 Oracle Corporation Method and apparatus for managing dependencies in a distributed computing environment for ensuring the safety of remote procedure calls
US6209090B1 (en) * 1997-05-29 2001-03-27 Sol Aisenberg Method and apparatus for providing secure time stamps for documents and computer files

Also Published As

Publication number Publication date
WO2003021433A1 (en) 2003-03-13

Similar Documents

Publication Publication Date Title
GB2384886B (en) System and method for securing a computer
AU2002238019A1 (en) System and method for generating and maintaining software code
AU2002347870A1 (en) Method and system for compiling circuit designs
EP1407349A4 (en) Method and system for computer software application execution
GB0209511D0 (en) Computer system and method
AU2002307436A1 (en) Method and system for data analysis
AU2002363735A1 (en) Method and system for computer based testing using customizable templates
EP1446735A4 (en) A system and method for searching data sources
AU2002349217A1 (en) Secure method and system for computer protection
AU2002254516A1 (en) System and method for downloading code
GB0224112D0 (en) System and method for installing applications in a trusted environment
EP1321856A3 (en) Multi-application execution system and method thereof
GB2383854B (en) Method for checking a computer system configuration
GB0228053D0 (en) Document notarization system and method
AU2001298079A1 (en) System and method for software learning
AU2002345683A1 (en) System and method for integrated web-based software code environment
AU2002325798A1 (en) Software verification method for control units and verification system
AU2002313738A1 (en) Multilingual database creation system and method
EP1262874A3 (en) Code verification system and method
AUPR745301A0 (en) Method and system for compiling and verifying computer code
GB0106314D0 (en) Method and system for operating a financial instrument
AU2002368021A1 (en) Method and system for authenticating a software
AU2002341692A1 (en) Multilingual database creation system and method
AU2001253122A1 (en) System and method for generating computer source code
GB0119503D0 (en) System and method for copying data