FR3046476B1 - Procede de conversion des mecanismes d'allocation dynamique de memoire d'un code source initial d'un logiciel - Google Patents

Procede de conversion des mecanismes d'allocation dynamique de memoire d'un code source initial d'un logiciel Download PDF

Info

Publication number
FR3046476B1
FR3046476B1 FR1600022A FR1600022A FR3046476B1 FR 3046476 B1 FR3046476 B1 FR 3046476B1 FR 1600022 A FR1600022 A FR 1600022A FR 1600022 A FR1600022 A FR 1600022A FR 3046476 B1 FR3046476 B1 FR 3046476B1
Authority
FR
France
Prior art keywords
software
source code
dynamic memory
memory allocation
initial source
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.)
Active
Application number
FR1600022A
Other languages
English (en)
Other versions
FR3046476A1 (fr
Inventor
Martin Rayrole
Marc Gatti
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.)
Thales SA
Original Assignee
Thales SA
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 Thales SA filed Critical Thales SA
Priority to FR1600022A priority Critical patent/FR3046476B1/fr
Publication of FR3046476A1 publication Critical patent/FR3046476A1/fr
Application granted granted Critical
Publication of FR3046476B1 publication Critical patent/FR3046476B1/fr
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F12/00—Accessing, addressing or allocating within memory systems or architectures
    • G06F12/02—Addressing or allocation; Relocation
    • G06F12/0223—User address space allocation, e.g. contiguous or non contiguous base addressing
    • G06F12/023—Free address space management
    • 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
    • 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/51—Source to source
    • 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/76—Adapting program code to run in a different environment; Porting
    • 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/46—Multiprogramming arrangements
    • G06F9/50—Allocation of resources, e.g. of the central processing unit [CPU]
    • G06F9/5005—Allocation of resources, e.g. of the central processing unit [CPU] to service a request
    • G06F9/5011—Allocation of resources, e.g. of the central processing unit [CPU] to service a request the resources being hardware resources other than CPUs, Servers and Terminals
    • G06F9/5016—Allocation of resources, e.g. of the central processing unit [CPU] to service a request the resources being hardware resources other than CPUs, Servers and Terminals the resource being the memory
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F2212/00—Indexing scheme relating to accessing, addressing or allocation within memory systems or architectures
    • G06F2212/10—Providing a specific technical effect
    • G06F2212/1012—Design facilitation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/30—Creation or generation of source code
    • G06F8/36—Software reuse

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Software Systems (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Computer Hardware Design (AREA)
  • Quality & Reliability (AREA)
  • Stored Programmes (AREA)
FR1600022A 2016-01-06 2016-01-06 Procede de conversion des mecanismes d'allocation dynamique de memoire d'un code source initial d'un logiciel Active FR3046476B1 (fr)

Priority Applications (1)

Application Number Priority Date Filing Date Title
FR1600022A FR3046476B1 (fr) 2016-01-06 2016-01-06 Procede de conversion des mecanismes d'allocation dynamique de memoire d'un code source initial d'un logiciel

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
FR1600022 2016-01-06
FR1600022A FR3046476B1 (fr) 2016-01-06 2016-01-06 Procede de conversion des mecanismes d'allocation dynamique de memoire d'un code source initial d'un logiciel

Publications (2)

Publication Number Publication Date
FR3046476A1 FR3046476A1 (fr) 2017-07-07
FR3046476B1 true FR3046476B1 (fr) 2018-02-16

Family

ID=55542907

Family Applications (1)

Application Number Title Priority Date Filing Date
FR1600022A Active FR3046476B1 (fr) 2016-01-06 2016-01-06 Procede de conversion des mecanismes d'allocation dynamique de memoire d'un code source initial d'un logiciel

Country Status (1)

Country Link
FR (1) FR3046476B1 (fr)

Families Citing this family (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
FR3096154B1 (fr) * 2019-05-16 2021-04-16 Psa Automobiles Sa Procédé et système pour gérer une fonctionnalité d’allocation de mémoire à bord d’un véhicule automobile

Family Cites Families (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US7096339B2 (en) * 2003-03-01 2006-08-22 International Business Machines Corporation System and method for detecting memory management programming errors

Also Published As

Publication number Publication date
FR3046476A1 (fr) 2017-07-07

Similar Documents

Publication Publication Date Title
EP3397604C0 (fr) Procédé de thermolyse à étages multiples pour la conversion de sources de déchets
BR112017009806A2 (pt) sistema e método para gerar informações de nível de estresse e de nível de resiliência de estresse para um indivíduo
BR112018006696A2 (pt) métodos e sistemas para obter óleo a partir de uma composição de vinhoto
DK3067817T3 (da) Dynamisk data-maskering til mainframe-applikation
MX2016006033A (es) Manejo de datos portables durante un incidente.
FR3026257B1 (fr) Procede et gestion dynamique de ressources et systeme associe
CL2016003054A1 (es) Método para la producción de gránulos que comprenden carbonato de calcio de reacción superficial.
DK3672472T3 (da) Redskaber til vaginal adgang
FR3037823B1 (fr) Procede de vidange complete d'un reacteur catalytique
MA50647A (fr) Procédé de régulation d'un puits
FR3033655B1 (fr) Procede de generation d'un programme d'usinage
IT201700109448A1 (it) Reattore fotocatalitico sanificante
DK3900819T3 (da) Opstrømsreaktor
FR3046476B1 (fr) Procede de conversion des mecanismes d'allocation dynamique de memoire d'un code source initial d'un logiciel
IT201700088764A1 (it) Impianto per il trattamento ad immersione di scocche
ITUB20155941A1 (it) Sistema a doppio scarico per lavelli o lavabi
FR3035118B1 (fr) Procede de fabrication d'un savon dermatologique-savon dermatologique.
BR112018002038A2 (pt) ?microcápsulas, composição, método de produção das microcápsulas e uso das microcápsulas?
DK3723527T3 (da) Dynamisk ventilationssystem til sokker
FR3023635B1 (fr) Procede de modelisation d'une baignoire d'une aube
DK3638767T3 (da) Biogasreaktor
FR3050844B1 (fr) Procede d'allocation d'espace memoire
IT201700068751A1 (it) Metodo di verifica di ingranaggi a vite senza fine.
FR3071633B1 (fr) Procede d'execution d'un code machine d'une fonction securisee
FR3037377B1 (fr) Regulateur de pression dynamique

Legal Events

Date Code Title Description
PLFP Fee payment

Year of fee payment: 2

PLSC Publication of the preliminary search report

Effective date: 20170707

PLFP Fee payment

Year of fee payment: 3

PLFP Fee payment

Year of fee payment: 5

PLFP Fee payment

Year of fee payment: 6

PLFP Fee payment

Year of fee payment: 7

PLFP Fee payment

Year of fee payment: 8

PLFP Fee payment

Year of fee payment: 9