FR3019918B1 - Procede d'analyse du fonctionnement d'un programme executable binaire et installation pour la mise en œuvre de ce procede - Google Patents

Procede d'analyse du fonctionnement d'un programme executable binaire et installation pour la mise en œuvre de ce procede Download PDF

Info

Publication number
FR3019918B1
FR3019918B1 FR1453290A FR1453290A FR3019918B1 FR 3019918 B1 FR3019918 B1 FR 3019918B1 FR 1453290 A FR1453290 A FR 1453290A FR 1453290 A FR1453290 A FR 1453290A FR 3019918 B1 FR3019918 B1 FR 3019918B1
Authority
FR
France
Prior art keywords
analyzing
installation
carrying
executable program
binary executable
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
FR1453290A
Other languages
English (en)
Other versions
FR3019918A1 (fr
Inventor
Frederic Marmond
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.)
Tetrane
Original Assignee
Tetrane
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 Tetrane filed Critical Tetrane
Priority to FR1453290A priority Critical patent/FR3019918B1/fr
Priority to PCT/EP2015/058115 priority patent/WO2015158742A1/fr
Publication of FR3019918A1 publication Critical patent/FR3019918A1/fr
Application granted granted Critical
Publication of FR3019918B1 publication Critical patent/FR3019918B1/fr
Expired - Fee Related legal-status Critical Current
Anticipated expiration legal-status Critical

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/3612—Software analysis for verifying properties of programs by runtime analysis
    • 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/455—Emulation; Interpretation; Software simulation, e.g. virtualisation or emulation of application or operating system execution engines
    • G06F9/45533—Hypervisors; Virtual machine monitors

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Software Systems (AREA)
  • Computer Hardware Design (AREA)
  • Quality & Reliability (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Debugging And Monitoring (AREA)
  • Test And Diagnosis Of Digital Computers (AREA)
FR1453290A 2014-04-14 2014-04-14 Procede d'analyse du fonctionnement d'un programme executable binaire et installation pour la mise en œuvre de ce procede Expired - Fee Related FR3019918B1 (fr)

Priority Applications (2)

Application Number Priority Date Filing Date Title
FR1453290A FR3019918B1 (fr) 2014-04-14 2014-04-14 Procede d'analyse du fonctionnement d'un programme executable binaire et installation pour la mise en œuvre de ce procede
PCT/EP2015/058115 WO2015158742A1 (fr) 2014-04-14 2015-04-14 Procédé d'analyse du fonctionnement d'un programme exécutable binaire et installation pour la mise en oeuvre de ce procédé

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
FR1453290A FR3019918B1 (fr) 2014-04-14 2014-04-14 Procede d'analyse du fonctionnement d'un programme executable binaire et installation pour la mise en œuvre de ce procede
FR1453290 2014-04-14

Publications (2)

Publication Number Publication Date
FR3019918A1 FR3019918A1 (fr) 2015-10-16
FR3019918B1 true FR3019918B1 (fr) 2018-05-18

Family

ID=51383804

Family Applications (1)

Application Number Title Priority Date Filing Date
FR1453290A Expired - Fee Related FR3019918B1 (fr) 2014-04-14 2014-04-14 Procede d'analyse du fonctionnement d'un programme executable binaire et installation pour la mise en œuvre de ce procede

Country Status (2)

Country Link
FR (1) FR3019918B1 (fr)
WO (1) WO2015158742A1 (fr)

Families Citing this family (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN113642139B (zh) * 2020-05-11 2022-07-12 阿里巴巴集团控股有限公司 数据处理方法、装置、电子设备和存储介质
CN113064819A (zh) * 2021-03-26 2021-07-02 山东英信计算机技术有限公司 一种软件开发测试方法、系统、设备以及介质
US11822673B2 (en) 2021-08-05 2023-11-21 International Business Machines Corporation Guided micro-fuzzing through hybrid program analysis

Family Cites Families (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US8352240B2 (en) * 2008-06-20 2013-01-08 Vmware, Inc. Decoupling dynamic program analysis from execution across heterogeneous systems
KR101330201B1 (ko) 2010-07-12 2013-11-15 도시바삼성스토리지테크놀러지코리아 주식회사 광 픽업 장치 및 이를 적용한 광 디스크 드라이브
US8776026B2 (en) * 2010-10-01 2014-07-08 Ecole Polytechnique Federale De Lausanne System and method for in-vivo multi-path analysis of binary software

Also Published As

Publication number Publication date
FR3019918A1 (fr) 2015-10-16
WO2015158742A1 (fr) 2015-10-22

Similar Documents

Publication Publication Date Title
SG11202001176QA (en) System and method for predictive cleaning
MA44853A (fr) Procédé de contrôle d'un dispositif de vapotage et dispositif de vapotage pour la mise en oeuvre du procédé
FR3020915B1 (fr) Procede de mise en œuvre d'un robot de traitement du sol et systeme correspondant
MA40354A (fr) Procédé permettant de prédire le résultat d'un traitement avec de l'aflibercept d'un patient suspecté de souffrir d'un cancer
FR3025918B1 (fr) Procede et systeme de modelisation automatisee d'une piece
FR3016374B1 (fr) Procede et installation de sechage d'un voile humide
FR3030054B1 (fr) Procede de detection radar distinguant les echos de pluie et radar mettant en oeuvre un tel procede
FR3040815B1 (fr) Procede de caracterisation d'un materiau par analyse de tavelures
FR3024123B1 (fr) Procede de remise en conformite de jante et outillage pour la mise en œuvre du procede
FR3029818B1 (fr) Procede de sertissage d'une bague sur une tige de fixation par un automate
FR3019918B1 (fr) Procede d'analyse du fonctionnement d'un programme executable binaire et installation pour la mise en œuvre de ce procede
FR3017543B1 (fr) Procede d'exploitation d'une installation de traitement d'eau, et installation pour la mise en oeuvre du procede
DK3404779T3 (da) Fremgangsmåde til at overvåge en krimpningsproces
SG11201608531RA (en) Method and device for dewatering sludge on a wire
FR3034242B1 (fr) Procede d'evaluation progressive de capacite a executer une tache, et plateforme de mise en oeuvre
FR3011490B1 (fr) Procede de conditionnement de la surface d'un objet et ensemble pour sa mise en oeuvre
FR3043823B1 (fr) Procede de decamouflage d'un objet
FR3025523B1 (fr) Procede de distillation de goudron de houille et dispositif permettant sa mise en oeuvre
FR2990533B1 (fr) Procede de suivi d'execution d'un logiciel et logiciel pour la mise en oeuvre du procede
FR3035240B1 (fr) Procede de securisation de l'execution d'un programme
FR3053913B1 (fr) Procede perfectionne d’obtention d’une piece profilee courbe en matiere composite thermoplastique et installation de mise en œuvre de ce procede
FR3032531B1 (fr) Installation et procede de suivi de l'evolution de la basicite d'un lubrifiant
FR3030325B1 (fr) Procede de percage et machine pour la mise en oeuvre de ce procede
FR3023473B1 (fr) Module de relaxation et procede de mise en oeuvre d'un tel module
FR3023635B1 (fr) Procede de modelisation d'une baignoire d'une aube

Legal Events

Date Code Title Description
PLFP Fee payment

Year of fee payment: 3

PLFP Fee payment

Year of fee payment: 4

PLFP Fee payment

Year of fee payment: 5

PLFP Fee payment

Year of fee payment: 7

PLFP Fee payment

Year of fee payment: 8

PLFP Fee payment

Year of fee payment: 9

ST Notification of lapse

Effective date: 20231205