L'analyse dynamique de programme (dynamic program analysis ou DPA), est une forme d'analyse de programme qui nécessite leur exécution. Elle permet d'étudier le comportement d'un programme informatique et les effets de son exécution sur son environnement. Appliquée dans un environnement physique ou virtuel, elle est souvent utilisée pour profiler des programmes. Que ce soit pour retirer des informations sur le temps d'utilisation du processeur, l'utilisation de la mémoire ou encore l'énergie dépensée par le programme.

Property Value
dbo:abstract
  • L'analyse dynamique de programme (dynamic program analysis ou DPA), est une forme d'analyse de programme qui nécessite leur exécution. Elle permet d'étudier le comportement d'un programme informatique et les effets de son exécution sur son environnement. Appliquée dans un environnement physique ou virtuel, elle est souvent utilisée pour profiler des programmes. Que ce soit pour retirer des informations sur le temps d'utilisation du processeur, l'utilisation de la mémoire ou encore l'énergie dépensée par le programme. Elle permet également de trouver des problèmes dans les programmes. Elle peut par exemple détecter si le programme accède ou non à des zones mémoires interdites, ou encore, de révéler des bogues dans un programme à l'aide de fuzzers. Elle peut aussi permettre de déboguer un programme en temps réel, en donnant la possibilité de regarder ce qu'il se passe dans la mémoire et dans le processeur à n'importe quel moment de son exécution. (fr)
  • L'analyse dynamique de programme (dynamic program analysis ou DPA), est une forme d'analyse de programme qui nécessite leur exécution. Elle permet d'étudier le comportement d'un programme informatique et les effets de son exécution sur son environnement. Appliquée dans un environnement physique ou virtuel, elle est souvent utilisée pour profiler des programmes. Que ce soit pour retirer des informations sur le temps d'utilisation du processeur, l'utilisation de la mémoire ou encore l'énergie dépensée par le programme. Elle permet également de trouver des problèmes dans les programmes. Elle peut par exemple détecter si le programme accède ou non à des zones mémoires interdites, ou encore, de révéler des bogues dans un programme à l'aide de fuzzers. Elle peut aussi permettre de déboguer un programme en temps réel, en donnant la possibilité de regarder ce qu'il se passe dans la mémoire et dans le processeur à n'importe quel moment de son exécution. (fr)
dbo:thumbnail
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 4490528 (xsd:integer)
dbo:wikiPageLength
  • 36314 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 189475841 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:année
  • 1982 (xsd:integer)
  • 1988 (xsd:integer)
  • 1994 (xsd:integer)
  • 1997 (xsd:integer)
  • 2000 (xsd:integer)
  • 2001 (xsd:integer)
  • 2003 (xsd:integer)
  • 2006 (xsd:integer)
  • 2007 (xsd:integer)
  • 2010 (xsd:integer)
  • 2011 (xsd:integer)
  • 2012 (xsd:integer)
  • 2013 (xsd:integer)
  • 2014 (xsd:integer)
  • 2015 (xsd:integer)
  • 2017 (xsd:integer)
  • 2018 (xsd:integer)
  • 2019 (xsd:integer)
prop-fr:doi
prop-fr:eIssn
  • 1 (xsd:integer)
  • 978 (xsd:integer)
  • 1557 (xsd:integer)
  • 1558 (xsd:integer)
  • 1573 (xsd:integer)
  • 1943 (xsd:integer)
  • 2065 (xsd:integer)
  • 2331 (xsd:integer)
prop-fr:id
  • Abu-Nimeh2006 (fr)
  • Adamoli2010 (fr)
  • Ammons1997 (fr)
  • Binder2006 (fr)
  • Ducassé1994 (fr)
  • Enck2014 (fr)
  • Geoders2015 (fr)
  • Godefroid2012 (fr)
  • Goeders2015 (fr)
  • Hu2013 (fr)
  • Huang2017 (fr)
  • Jovic2011 (fr)
  • Kaleba2017 (fr)
  • Kansal2010 (fr)
  • Kavi2013 (fr)
  • Koeman2017 (fr)
  • Korel1988 (fr)
  • Marek2015 (fr)
  • Marquez2012 (fr)
  • Nethercote2003 (fr)
  • Parragi2018 (fr)
  • Pathak2012 (fr)
  • Rafieymehr2007 (fr)
  • Ramsey1994 (fr)
  • Schwartz2010 (fr)
  • ShuaiHao2013 (fr)
  • Sinha2001 (fr)
  • Weiser1982 (fr)
  • Whaley2000 (fr)
  • Woo2013 (fr)
  • Xu2013 (fr)
  • Yin2007 (fr)
  • Yin2019 (fr)
  • Zhang2018 (fr)
  • Abu-Nimeh2006 (fr)
  • Adamoli2010 (fr)
  • Ammons1997 (fr)
  • Binder2006 (fr)
  • Ducassé1994 (fr)
  • Enck2014 (fr)
  • Geoders2015 (fr)
  • Godefroid2012 (fr)
  • Goeders2015 (fr)
  • Hu2013 (fr)
  • Huang2017 (fr)
  • Jovic2011 (fr)
  • Kaleba2017 (fr)
  • Kansal2010 (fr)
  • Kavi2013 (fr)
  • Koeman2017 (fr)
  • Korel1988 (fr)
  • Marek2015 (fr)
  • Marquez2012 (fr)
  • Nethercote2003 (fr)
  • Parragi2018 (fr)
  • Pathak2012 (fr)
  • Rafieymehr2007 (fr)
  • Ramsey1994 (fr)
  • Schwartz2010 (fr)
  • ShuaiHao2013 (fr)
  • Sinha2001 (fr)
  • Weiser1982 (fr)
  • Whaley2000 (fr)
  • Woo2013 (fr)
  • Xu2013 (fr)
  • Yin2007 (fr)
  • Yin2019 (fr)
  • Zhang2018 (fr)
prop-fr:isbn
  • 978 (xsd:integer)
  • 159593703 (xsd:integer)
  • 897916360 (xsd:integer)
  • 1450300367 (xsd:integer)
  • 1450312233 (xsd:integer)
  • 1450320155 (xsd:integer)
  • 1450324770 (xsd:integer)
  • 1450349382 (xsd:integer)
  • 1450355544 (xsd:integer)
  • 1581132883 (xsd:integer)
  • 9780897916363 (xsd:decimal)
  • 9781450300360 (xsd:decimal)
  • 9781450312233 (xsd:decimal)
  • 9781450320153 (xsd:decimal)
  • 9781450324779 (xsd:decimal)
  • 9781450349383 (xsd:decimal)
  • 9781450355544 (xsd:decimal)
  • 9781581132885 (xsd:decimal)
  • 9781595937032 (xsd:decimal)
prop-fr:issn
  • 20 (xsd:integer)
  • 97 (xsd:integer)
  • 163 (xsd:integer)
  • 167 (xsd:integer)
  • 270 (xsd:integer)
  • 738 (xsd:integer)
  • 743 (xsd:integer)
  • 965 (xsd:integer)
  • 1081 (xsd:integer)
  • 1224 (xsd:integer)
  • 1387 (xsd:integer)
  • 1558 (xsd:integer)
  • 1571 (xsd:integer)
  • 1932 (xsd:integer)
prop-fr:lang
  • en (fr)
  • en (fr)
prop-fr:mois
  • Mai (fr)
  • décembre (fr)
  • mai (fr)
  • mars (fr)
  • septembre (fr)
  • janvier (fr)
  • juillet (fr)
  • avril (fr)
  • juin (fr)
  • octobre (fr)
  • février (fr)
  • octobreXin2013 (fr)
  • Mai (fr)
  • décembre (fr)
  • mai (fr)
  • mars (fr)
  • septembre (fr)
  • janvier (fr)
  • juillet (fr)
  • avril (fr)
  • juin (fr)
  • octobre (fr)
  • février (fr)
  • octobreXin2013 (fr)
prop-fr:nom
  • Bai (fr)
  • Han (fr)
  • Li (fr)
  • Cox (fr)
  • Levin (fr)
  • Huang (fr)
  • Cha (fr)
  • Chun (fr)
  • Feng (fr)
  • Gilbert (fr)
  • Hu (fr)
  • Kansal (fr)
  • Liu (fr)
  • Schwartz (fr)
  • Shin (fr)
  • Song (fr)
  • Tan (fr)
  • Wang (fr)
  • Woo (fr)
  • Xu (fr)
  • Ye (fr)
  • Zhang (fr)
  • Zhao (fr)
  • Whaley (fr)
  • Marek (fr)
  • Zheng (fr)
  • Jung (fr)
  • Ball (fr)
  • Gottlieb (fr)
  • Molnar (fr)
  • Abu-Nimeh (fr)
  • Adamoli (fr)
  • Ammons (fr)
  • Ansaloni (fr)
  • Avgerinos (fr)
  • Berat (fr)
  • Bergel (fr)
  • Bhattacharya (fr)
  • Bi (fr)
  • Binder (fr)
  • Brumley (fr)
  • Bulej (fr)
  • Chandrakasan (fr)
  • Ding Li (fr)
  • Ducasse (fr)
  • Ducassé (fr)
  • Egele (fr)
  • Enck (fr)
  • Geoders (fr)
  • Giménez (fr)
  • Godefroid (fr)
  • Goeders (fr)
  • Govidan (fr)
  • Halfond (fr)
  • Hauswirth (fr)
  • Hindriks (fr)
  • Hulaas (fr)
  • Janjusic (fr)
  • Jonker (fr)
  • Jovic (fr)
  • Kaleba (fr)
  • Kavi (fr)
  • Kirda (fr)
  • Koeman (fr)
  • Korel (fr)
  • Kothari (fr)
  • Kruegel (fr)
  • Larus (fr)
  • Laski (fr)
  • Mcdaniel (fr)
  • Mckeever (fr)
  • Mozafari (fr)
  • Márquez Damián (fr)
  • Nair (fr)
  • Nethercote (fr)
  • Nigro (fr)
  • Noyé (fr)
  • Parragi (fr)
  • Pathak (fr)
  • Porkolab (fr)
  • Rafieymehr (fr)
  • Ramsey (fr)
  • Rountev (fr)
  • Sarimbekov (fr)
  • Seward (fr)
  • Sheth (fr)
  • Shuai Hao (fr)
  • Sinha (fr)
  • Tang (fr)
  • Tendulkar (fr)
  • Tůma (fr)
  • Weiser (fr)
  • Wenisch (fr)
  • Wilton (fr)
  • Yin (fr)
  • Bai (fr)
  • Han (fr)
  • Li (fr)
  • Cox (fr)
  • Levin (fr)
  • Huang (fr)
  • Cha (fr)
  • Chun (fr)
  • Feng (fr)
  • Gilbert (fr)
  • Hu (fr)
  • Kansal (fr)
  • Liu (fr)
  • Schwartz (fr)
  • Shin (fr)
  • Song (fr)
  • Tan (fr)
  • Wang (fr)
  • Woo (fr)
  • Xu (fr)
  • Ye (fr)
  • Zhang (fr)
  • Zhao (fr)
  • Whaley (fr)
  • Marek (fr)
  • Zheng (fr)
  • Jung (fr)
  • Ball (fr)
  • Gottlieb (fr)
  • Molnar (fr)
  • Abu-Nimeh (fr)
  • Adamoli (fr)
  • Ammons (fr)
  • Ansaloni (fr)
  • Avgerinos (fr)
  • Berat (fr)
  • Bergel (fr)
  • Bhattacharya (fr)
  • Bi (fr)
  • Binder (fr)
  • Brumley (fr)
  • Bulej (fr)
  • Chandrakasan (fr)
  • Ding Li (fr)
  • Ducasse (fr)
  • Ducassé (fr)
  • Egele (fr)
  • Enck (fr)
  • Geoders (fr)
  • Giménez (fr)
  • Godefroid (fr)
  • Goeders (fr)
  • Govidan (fr)
  • Halfond (fr)
  • Hauswirth (fr)
  • Hindriks (fr)
  • Hulaas (fr)
  • Janjusic (fr)
  • Jonker (fr)
  • Jovic (fr)
  • Kaleba (fr)
  • Kavi (fr)
  • Kirda (fr)
  • Koeman (fr)
  • Korel (fr)
  • Kothari (fr)
  • Kruegel (fr)
  • Larus (fr)
  • Laski (fr)
  • Mcdaniel (fr)
  • Mckeever (fr)
  • Mozafari (fr)
  • Márquez Damián (fr)
  • Nair (fr)
  • Nethercote (fr)
  • Nigro (fr)
  • Noyé (fr)
  • Parragi (fr)
  • Pathak (fr)
  • Porkolab (fr)
  • Rafieymehr (fr)
  • Ramsey (fr)
  • Rountev (fr)
  • Sarimbekov (fr)
  • Seward (fr)
  • Sheth (fr)
  • Shuai Hao (fr)
  • Sinha (fr)
  • Tang (fr)
  • Tendulkar (fr)
  • Tůma (fr)
  • Weiser (fr)
  • Wenisch (fr)
  • Wilton (fr)
  • Yin (fr)
prop-fr:numéro
  • 1 (xsd:integer)
  • 2 (xsd:integer)
  • 3 (xsd:integer)
  • 4 (xsd:integer)
  • 5 (xsd:integer)
  • 7 (xsd:integer)
  • 10 (xsd:integer)
prop-fr:pages
  • 1 (xsd:integer)
  • 8 (xsd:integer)
  • 13 (xsd:integer)
  • 15 (xsd:integer)
  • 17 (xsd:integer)
  • 18 (xsd:integer)
  • 29 (xsd:integer)
  • 39 (xsd:integer)
  • 40 (xsd:integer)
  • 44 (xsd:integer)
  • 45 (xsd:integer)
  • 53 (xsd:integer)
  • 64 (xsd:integer)
  • 75 (xsd:integer)
  • 78 (xsd:integer)
  • 79 (xsd:integer)
  • 85 (xsd:integer)
  • 92 (xsd:integer)
  • 100 (xsd:integer)
  • 116 (xsd:integer)
  • 127 (xsd:integer)
  • 151 (xsd:integer)
  • 155 (xsd:integer)
  • 220 (xsd:integer)
  • 317 (xsd:integer)
  • 351 (xsd:integer)
  • 446 (xsd:integer)
  • 511 (xsd:integer)
  • 941 (xsd:integer)
prop-fr:prénom
  • S (fr)
  • A. (fr)
  • B. (fr)
  • E. (fr)
  • G. (fr)
  • H. (fr)
  • J. (fr)
  • K. (fr)
  • L. (fr)
  • M. (fr)
  • P. (fr)
  • R. (fr)
  • Y. (fr)
  • C. (fr)
  • D. (fr)
  • N. (fr)
  • S. (fr)
  • V. (fr)
  • T. (fr)
  • Z. (fr)
  • F. (fr)
  • W. (fr)
  • X. (fr)
  • S (fr)
  • A. (fr)
  • B. (fr)
  • E. (fr)
  • G. (fr)
  • H. (fr)
  • J. (fr)
  • K. (fr)
  • L. (fr)
  • M. (fr)
  • P. (fr)
  • R. (fr)
  • Y. (fr)
  • C. (fr)
  • D. (fr)
  • N. (fr)
  • S. (fr)
  • V. (fr)
  • T. (fr)
  • Z. (fr)
  • F. (fr)
  • W. (fr)
  • X. (fr)
prop-fr:périodique
  • 2010 (xsd:integer)
  • 2015 (xsd:integer)
  • 201335 (xsd:integer)
  • dbpedia-fr:ACM_Transactions_on_Software_Engineering_and_Methodology
  • dbpedia-fr:Electronic_Notes_in_Theoretical_Computer_Science
  • PLoS ONE (fr)
  • Communications of the ACM (fr)
  • Information Processing Letters (fr)
  • Proceedings of the ACM 2000 conference on java grande (fr)
  • Proceedings of the 2013 ACM SIGSAC conference on computer & communications security (fr)
  • IEEE International Conference on Computer Systems and Applications (fr)
  • ACM SIGARCH Computer Architecture News security (fr)
  • ACM SIGCSE Bulletin (fr)
  • ACM SIGPLAN Notices (fr)
  • ACM Transactions on Computer Systems (fr)
  • Advances in Engineering Software (fr)
  • Autonomous Agents and Multi-Agent Systems (fr)
  • Electronic Notes in Theoretical Computer Science (fr)
  • Proceedings of the 14th ACM conference on computer and communications security (fr)
  • PROC DES AUTOM CONF. (fr)
  • Science of Computer Programming (fr)
  • Studia Universitatis Babeș-Bolyai Informatica (fr)
  • The Journal of Logic Programming (fr)
  • Annual International Symposium on Field-Programmable Custom Computing (fr)
  • Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on principles of programming languages (fr)
  • Proceedings of the 1st ACM symposium on cloud computing (fr)
  • Proceedings of the 12th edition of the International Workshop on smalltalk technologies (fr)
  • Proceedings of the Twelfth European Conference on computer systems (fr)
  • Proceedings of the 29th Annual Computer Security Applications Conference (fr)
  • Proceedings of the 7th ACM european conference on computer systems (fr)
prop-fr:titre
  • Debugopt: Debugging fully optimized natively compiled programs using multistage instrumentation (fr)
  • Precise memory leak detection for java software using container profiling (fr)
  • All You Ever Wanted to Know about Dynamic Taint Analysis and Forward Symbolic Execution (fr)
  • Exact and Portable Profiling for the JVM Using Bytecode Instruction Counting (fr)
  • Estimating mobile application energy consumption using program analysis (fr)
  • A detailed VM profiler for the Cog VM (fr)
  • Dynamic program slicing (fr)
  • Gleipnir: a memory profiling and tracing tool (fr)
  • Introduction to dynamic program analysis with DiSL (fr)
  • Java visual debugger (fr)
  • Programmers use slices when debugging (fr)
  • Logic programming environments: Dynamic program analysis and debugging (fr)
  • SAGE: whitebox fuzzing for security testing (fr)
  • Scheduling black-box mutational fuzzing (fr)
  • Valgrind (fr)
  • Virtual machine power metering and provisioning (fr)
  • gdbOF: A debugging tool for OpenFOAM® (fr)
  • Catch me if you can: performance bug detection in the wild (fr)
  • DUET: integration of dynamic and static analyses for malware clustering with cluster ensembles (fr)
  • Statistical Analysis of Latency Through Semantic Profiling (fr)
  • Exploiting hardware performance counters with flow and context sensitive profiling (fr)
  • Designing a source-level debugger for cognitive agent programs (fr)
  • JouleTrack - A web based tool for software energy profiling (fr)
  • Ffuzz: Towards full system high coverage fuzz testing on binary executables. (fr)
  • Using Dynamic Signal-Tracing to Debug Compiler-Optimized HLS Circuits on FPGAs (fr)
  • Where is the energy spent inside my app?: fine grained energy accounting on smartphones with Eprof (fr)
  • TaintDroid: An Information-Flow Tracking System for Realtime Privacy Monitoring on Smartphones (fr)
  • Correctness of trap-based breakpoint implementations (fr)
  • LagAlyzer: A latency profile analysis and visualization tool (fr)
  • Instrumentation of C++ Programs Using Automatic Source Code Transformations (fr)
  • A portable sampling-based profiler for Java virtual machines (fr)
  • Panorama: capturing system-wide information flow for malware detection and analysis (fr)
  • Debugopt: Debugging fully optimized natively compiled programs using multistage instrumentation (fr)
  • Precise memory leak detection for java software using container profiling (fr)
  • All You Ever Wanted to Know about Dynamic Taint Analysis and Forward Symbolic Execution (fr)
  • Exact and Portable Profiling for the JVM Using Bytecode Instruction Counting (fr)
  • Estimating mobile application energy consumption using program analysis (fr)
  • A detailed VM profiler for the Cog VM (fr)
  • Dynamic program slicing (fr)
  • Gleipnir: a memory profiling and tracing tool (fr)
  • Introduction to dynamic program analysis with DiSL (fr)
  • Java visual debugger (fr)
  • Programmers use slices when debugging (fr)
  • Logic programming environments: Dynamic program analysis and debugging (fr)
  • SAGE: whitebox fuzzing for security testing (fr)
  • Scheduling black-box mutational fuzzing (fr)
  • Valgrind (fr)
  • Virtual machine power metering and provisioning (fr)
  • gdbOF: A debugging tool for OpenFOAM® (fr)
  • Catch me if you can: performance bug detection in the wild (fr)
  • DUET: integration of dynamic and static analyses for malware clustering with cluster ensembles (fr)
  • Statistical Analysis of Latency Through Semantic Profiling (fr)
  • Exploiting hardware performance counters with flow and context sensitive profiling (fr)
  • Designing a source-level debugger for cognitive agent programs (fr)
  • JouleTrack - A web based tool for software energy profiling (fr)
  • Ffuzz: Towards full system high coverage fuzz testing on binary executables. (fr)
  • Using Dynamic Signal-Tracing to Debug Compiler-Optimized HLS Circuits on FPGAs (fr)
  • Where is the energy spent inside my app?: fine grained energy accounting on smartphones with Eprof (fr)
  • TaintDroid: An Information-Flow Tracking System for Realtime Privacy Monitoring on Smartphones (fr)
  • Correctness of trap-based breakpoint implementations (fr)
  • LagAlyzer: A latency profile analysis and visualization tool (fr)
  • Instrumentation of C++ Programs Using Automatic Source Code Transformations (fr)
  • A portable sampling-based profiler for Java virtual machines (fr)
  • Panorama: capturing system-wide information flow for malware detection and analysis (fr)
prop-fr:volume
  • 3 (xsd:integer)
  • 12 (xsd:integer)
  • 13 (xsd:integer)
  • 19 (xsd:integer)
  • 21 (xsd:integer)
  • 22 (xsd:integer)
  • 23 (xsd:integer)
  • 25 (xsd:integer)
  • 29 (xsd:integer)
  • 31 (xsd:integer)
  • 32 (xsd:integer)
  • 39 (xsd:integer)
  • 41 (xsd:integer)
  • 46 (xsd:integer)
  • 47 (xsd:integer)
  • 55 (xsd:integer)
  • 89 (xsd:integer)
  • 98 (xsd:integer)
  • 164 (xsd:integer)
  • 169 (xsd:integer)
prop-fr:wikiPageUsesTemplate
dct:subject
rdfs:comment
  • L'analyse dynamique de programme (dynamic program analysis ou DPA), est une forme d'analyse de programme qui nécessite leur exécution. Elle permet d'étudier le comportement d'un programme informatique et les effets de son exécution sur son environnement. Appliquée dans un environnement physique ou virtuel, elle est souvent utilisée pour profiler des programmes. Que ce soit pour retirer des informations sur le temps d'utilisation du processeur, l'utilisation de la mémoire ou encore l'énergie dépensée par le programme. (fr)
  • L'analyse dynamique de programme (dynamic program analysis ou DPA), est une forme d'analyse de programme qui nécessite leur exécution. Elle permet d'étudier le comportement d'un programme informatique et les effets de son exécution sur son environnement. Appliquée dans un environnement physique ou virtuel, elle est souvent utilisée pour profiler des programmes. Que ce soit pour retirer des informations sur le temps d'utilisation du processeur, l'utilisation de la mémoire ou encore l'énergie dépensée par le programme. (fr)
rdfs:label
  • Analyse dynamique de programmes (fr)
  • Análisis dinámico de software (es)
  • Dynamic program analysis (en)
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of