SG11201505427VA - Method for securing a program - Google Patents
Method for securing a programInfo
- Publication number
- SG11201505427VA SG11201505427VA SG11201505427VA SG11201505427VA SG11201505427VA SG 11201505427V A SG11201505427V A SG 11201505427VA SG 11201505427V A SG11201505427V A SG 11201505427VA SG 11201505427V A SG11201505427V A SG 11201505427VA SG 11201505427V A SG11201505427V A SG 11201505427VA
- Authority
- SG
- Singapore
- Prior art keywords
- securing
- program
- Prior art date
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/3604—Software analysis for verifying properties of programs
- G06F11/3608—Software analysis for verifying properties of programs using formal methods, e.g. model checking, abstract interpretation
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/362—Software debugging
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/3664—Environments for testing or debugging software
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR 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/443—Optimisation
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/70—Software maintenance or management
- G06F8/75—Structural analysis for program understanding
-
- 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/448—Execution paradigms, e.g. implementations of programming paradigms
- G06F9/4482—Procedural
- G06F9/4484—Executing subprograms
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/40—Transformation of program code
- G06F8/41—Compilation
- G06F8/45—Exploiting coarse grain parallelism in compilation, i.e. parallelism between groups of instructions
- G06F8/451—Code distribution
- G06F8/452—Loops
-
- 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/30—Arrangements for executing machine instructions, e.g. instruction decode
- G06F9/3017—Runtime instruction translation, e.g. macros
- G06F9/30178—Runtime instruction translation, e.g. macros of compressed or encrypted instructions
-
- 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/30—Arrangements for executing machine instructions, e.g. instruction decode
- G06F9/38—Concurrent instruction execution, e.g. pipeline or look ahead
- G06F9/3802—Instruction prefetching
- G06F9/3808—Instruction prefetching for instruction reuse, e.g. trace cache, branch target cache
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Software Systems (AREA)
- General Engineering & Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Computer Hardware Design (AREA)
- Quality & Reliability (AREA)
- Stored Programmes (AREA)
- Devices For Executing Special Programs (AREA)
- Storage Device Security (AREA)
Applications Claiming Priority (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
US13/777,524 US9501383B2 (en) | 2013-02-26 | 2013-02-26 | Method for securing a program |
PCT/IB2014/058600 WO2014132147A1 (en) | 2013-02-26 | 2014-01-28 | Method for securing a program |
Publications (1)
Publication Number | Publication Date |
---|---|
SG11201505427VA true SG11201505427VA (en) | 2015-08-28 |
Family
ID=50184958
Family Applications (2)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
SG11201505427VA SG11201505427VA (en) | 2013-02-26 | 2014-01-28 | Method for securing a program |
SG11201505428TA SG11201505428TA (en) | 2013-02-26 | 2014-01-28 | Method for securing a program |
Family Applications After (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
SG11201505428TA SG11201505428TA (en) | 2013-02-26 | 2014-01-28 | Method for securing a program |
Country Status (8)
Country | Link |
---|---|
US (2) | US9501383B2 (en) |
EP (1) | EP2962206B1 (en) |
KR (1) | KR102235001B1 (en) |
CN (1) | CN105103135B (en) |
BR (1) | BR112015020394B1 (en) |
IL (1) | IL239954A0 (en) |
SG (2) | SG11201505427VA (en) |
WO (1) | WO2014132147A1 (en) |
Families Citing this family (14)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US9501383B2 (en) | 2013-02-26 | 2016-11-22 | Dominique Bolignano | Method for securing a program |
US9275236B2 (en) | 2013-06-28 | 2016-03-01 | Dominique Bolignano | Method for securing a program |
US9811322B1 (en) * | 2016-05-31 | 2017-11-07 | Oracle International Corporation | Scalable provenance generation from points-to information |
EP3862871A1 (en) * | 2016-12-19 | 2021-08-11 | (Un)Manned N.V. | Method and apparatus for real-time control loop application execution from a high-level description |
US9983978B1 (en) | 2017-03-08 | 2018-05-29 | Microsoft Technology Licensing, Llc | Querying an indexed time-travel trace |
US9959194B1 (en) | 2017-03-08 | 2018-05-01 | Microsoft Technology Licensing, Llc | Indexing a trace by insertion of memory snapshots for replay responsiveness |
US9934126B1 (en) * | 2017-03-08 | 2018-04-03 | Microsoft Technology Licensing, Llc | Indexing a trace by insertion of reverse lookup data structures |
US9940369B1 (en) | 2017-03-08 | 2018-04-10 | Microsoft Technology Licensing, Llc | Searching an indexed time-travel trace |
US9934127B1 (en) | 2017-03-08 | 2018-04-03 | Microsoft Technology Licensing, Llc | Indexing a trace by insertion of key frames for replay responsiveness |
US10185645B2 (en) | 2017-03-08 | 2019-01-22 | Microsoft Technology Licensing, Llc | Resource lifetime analysis using a time-travel trace |
US10282274B2 (en) | 2017-06-14 | 2019-05-07 | Microsoft Technology Licensing, Llc | Presenting differences between code entity invocations |
US10599482B2 (en) * | 2017-08-24 | 2020-03-24 | Google Llc | Method for intra-subgraph optimization in tuple graph programs |
US10705810B2 (en) * | 2018-11-30 | 2020-07-07 | Sap Se | Automatic code generation |
US11210087B2 (en) * | 2019-12-04 | 2021-12-28 | WhiteSource Ltd. | System and method for interprocedural analysis |
Family Cites Families (21)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH10214203A (en) * | 1997-01-29 | 1998-08-11 | Nec Corp | Information processor |
JP3284956B2 (en) * | 1998-01-26 | 2002-05-27 | 日本電気株式会社 | Program conversion method, program conversion device, and storage medium storing program conversion program |
US6327704B1 (en) * | 1998-08-06 | 2001-12-04 | Hewlett-Packard Company | System, method, and product for multi-branch backpatching in a dynamic translator |
JP2001034504A (en) * | 1999-07-19 | 2001-02-09 | Mitsubishi Electric Corp | Source level debugger |
US7024661B2 (en) * | 2000-01-07 | 2006-04-04 | Hewlett-Packard Development Company, L.P. | System and method for verifying computer program correctness and providing recoverable execution trace information |
US20010037492A1 (en) * | 2000-03-16 | 2001-11-01 | Holzmann Gerard J. | Method and apparatus for automatically extracting verification models |
US7124407B1 (en) * | 2000-08-16 | 2006-10-17 | Sun Microsystems, Inc. | Method and apparatus for caching native code in a virtual machine interpreter |
FR2817363B1 (en) | 2000-11-24 | 2002-12-27 | France Telecom | FORMAL VERIFICATION IN PARTICULAR OF A SECURE VIRTUAL MACHINE |
US6938186B2 (en) * | 2002-05-28 | 2005-08-30 | Microsoft Corporation | System and method for performing a path-sensitive verification on a program |
FR2864655B1 (en) * | 2003-12-31 | 2006-03-24 | Trusted Logic | METHOD OF CONTROLLING INTEGRITY OF PROGRAMS BY VERIFYING IMPRESSIONS OF EXECUTION TRACES |
US8132158B2 (en) * | 2006-12-28 | 2012-03-06 | Cheng Wang | Mechanism for software transactional memory commit/abort in unmanaged runtime environment |
DE102007038763A1 (en) * | 2007-08-16 | 2009-02-19 | Siemens Ag | Method and device for securing a program against a control flow manipulation and against a faulty program sequence |
US8555380B2 (en) * | 2008-02-28 | 2013-10-08 | Intel Corporation | Automatic modification of executable code |
US8266598B2 (en) * | 2008-05-05 | 2012-09-11 | Microsoft Corporation | Bounding resource consumption using abstract interpretation |
US20090282289A1 (en) * | 2008-05-06 | 2009-11-12 | Microsoft Corporation | Generation and evaluation of test cases for software validation and proofs |
CA2691851A1 (en) * | 2010-02-04 | 2011-08-04 | Ibm Canada Limited - Ibm Canada Limitee | Control flow analysis using deductive reaching definitions |
CN101866406A (en) * | 2010-06-18 | 2010-10-20 | 中国科学院软件研究所 | Stack overflow attack defense method |
US8522225B2 (en) * | 2010-06-25 | 2013-08-27 | International Business Machines Corporation | Rewriting branch instructions using branch stubs |
US20130055033A1 (en) * | 2011-08-22 | 2013-02-28 | International Business Machines Corporation | Hardware-assisted program trace collection with selectable call-signature capture |
US9501383B2 (en) | 2013-02-26 | 2016-11-22 | Dominique Bolignano | Method for securing a program |
US9275236B2 (en) | 2013-06-28 | 2016-03-01 | Dominique Bolignano | Method for securing a program |
-
2013
- 2013-02-26 US US13/777,524 patent/US9501383B2/en active Active
-
2014
- 2014-01-28 SG SG11201505427VA patent/SG11201505427VA/en unknown
- 2014-01-28 CN CN201480010722.3A patent/CN105103135B/en active Active
- 2014-01-28 EP EP14706951.2A patent/EP2962206B1/en active Active
- 2014-01-28 BR BR112015020394-9A patent/BR112015020394B1/en active IP Right Grant
- 2014-01-28 SG SG11201505428TA patent/SG11201505428TA/en unknown
- 2014-01-28 KR KR1020157026189A patent/KR102235001B1/en active IP Right Grant
- 2014-01-28 WO PCT/IB2014/058600 patent/WO2014132147A1/en active Application Filing
-
2015
- 2015-07-15 IL IL239954A patent/IL239954A0/en active IP Right Grant
-
2016
- 2016-11-03 US US15/342,698 patent/US9892016B2/en active Active
Also Published As
Publication number | Publication date |
---|---|
BR112015020394A8 (en) | 2019-11-12 |
CN105103135B (en) | 2018-01-16 |
US20140245259A1 (en) | 2014-08-28 |
SG11201505428TA (en) | 2015-08-28 |
BR112015020394A2 (en) | 2017-07-18 |
KR20150123282A (en) | 2015-11-03 |
WO2014132147A1 (en) | 2014-09-04 |
KR102235001B1 (en) | 2021-04-01 |
US9501383B2 (en) | 2016-11-22 |
CN105103135A (en) | 2015-11-25 |
IL239954A0 (en) | 2015-08-31 |
US20170075788A1 (en) | 2017-03-16 |
US9892016B2 (en) | 2018-02-13 |
EP2962206B1 (en) | 2020-07-15 |
EP2962206A1 (en) | 2016-01-06 |
BR112015020394B1 (en) | 2022-06-14 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
IL239954A0 (en) | Method for securing a program | |
EP2959413A4 (en) | Compliance method for a cyber- physical system | |
GB201317856D0 (en) | Method for creating a label | |
HK1224401A1 (en) | Method for evaluating a document | |
PL3056037T3 (en) | Method for personalizing a secure element | |
IL244426B (en) | Method for producing a spirooxindole derivative | |
GB201421562D0 (en) | Method for preparing a sorbent | |
SG11201601239PA (en) | Program for program editing | |
GB201421563D0 (en) | Method for preparing a sorbent | |
GB201318140D0 (en) | A method for tracking hand washing | |
GB201421564D0 (en) | Method for preparing a sorbent | |
DK3533325T3 (en) | Process for forming a coverbraided ribline | |
SG11201505242UA (en) | Method for making a covering | |
SI2762208T1 (en) | Method for manufacturing a snowboard and snowboard obtained by said method | |
IL242441B (en) | Method for securing a program | |
ZA201600993B (en) | Improved process including a carbonatation step | |
IL236387A0 (en) | Carrying case for a wig | |
PL3007939T3 (en) | Connection arrangement and method for producing a connection arrangement | |
PL3054775T3 (en) | Process for preparing a spread | |
PL2865312T3 (en) | Dishwasher and method for operating a dishwasher | |
PT3055449T (en) | Method for treating a mixture | |
PL2769662T3 (en) | Dishwasher and method for operating a dishwasher | |
GB201319632D0 (en) | Method for operating a vehicle | |
SG11201605017TA (en) | A method for scouring wool | |
EP2964516A4 (en) | Method for designing a material |