Séance de cours

Interprétation abstraite et domaine Octagon

Graph Chat

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Description

Cette séance de cours couvre les principes de l'interprétation abstraite et du domaine Octagon, en mettant l'accent sur la représentation des contraintes et le compromis entre précision et efficacité. Il explique l'utilisation des connexions Galois, la concrétisation, les fonctions d'abstraction et les opérations sur les DBM. La séance de cours se penche également sur l'analyse statique des programmes utilisant le domaine abstrait d'Octagon, en discutant des affectations, des branchements, des boucles et des avantages des approximations sonores pour détecter les problèmes d'exécution.

Source officielle

Concepts associés (32)

Program analysis

In computer science, program analysis is the process of automatically analyzing the behavior of computer programs regarding a property such as correctness, robustness, safety and liveness. Program analysis focuses on two major areas: program optimization and program correctness. The first focuses on improving the program’s performance while reducing the resource usage while the latter focuses on ensuring that the program does what it is supposed to do.

Analyse statique de programmes

En informatique, la notion d’analyse statique de programmes couvre une variété de méthodes utilisées pour obtenir des informations sur le comportement d'un programme lors de son exécution sans réellement l'exécuter. C'est cette dernière restriction qui distingue l'analyse statique des analyses dynamiques (comme le débugage ou le profiling) qui s'attachent, elles, au suivi de l’exécution du programme. L’analyse statique est utilisée pour repérer des erreurs formelles de programmation ou de conception et pour déterminer la facilité ou la difficulté à maintenir le code.

Analyse dynamique de programmes

thumb|Logo de Valgrind. Outil permettant de profiler du code. 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.

Béton de ciment

thumb|upright=1.0|Un mètre cube de béton (représentant la production mondiale annuelle de béton par habitant). Le béton de ciment, couramment appelé béton, est un mélange de ciment, de granulats, d'eau et d'adjuvants. Histoire du béton de ciment Ciment Le ciment se compose essentiellement de chaux, de silice, d'alumine et d'oxyde de fer combinés au silicate et aluminate de calcium. Les différents ciments résultent du mélange de clinker, de calcaire, de laitier et de cendres volantes (qui sont des composés à effet pouzzolanique, mais non considérés comme des pouzzolanes).

Béton armé

vignette|Armatures métalliques de renforcement du béton. vignette|« Cancer du béton » : lorsque le front de carbonatation atteint l'armature métallique, celle-ci est atteinte de rouille qui fait augmenter le volume de l'acier, conduisant à l'éclatement du béton d'enrobage, ce qui provoque des délaminations, ou comme ici des épaufrures qui mettent à nu les armatures oxydées. Le béton armé est un matériau composite constitué de béton et de barres d'acier alliant les propriétés mécaniques complémentaires de ces matériaux (bonne résistance à la compression du béton et bonne résistance à la traction de l'acier).

Afficher plus

Séances de cours associées (64)

Interprétation abstraite en acier inoxydable

Explore l'interprétation abstraite en acier inoxydable, démontrant son application dans la vérification du programme et discutant des orientations futures pour le projet.

Cisaille aux interfaces: Structures en béton

Explore le cisaillement aux interfaces dans les structures en béton, couvrant le cisaillement longitudinal, le cisaillement entre les panneaux et le cisaillement à l'interface entre le béton coulé à différents moments.

Conception des structures de béton: Calculs en colonnes

Couvre la conception avancée des structures en béton, en mettant l'accent sur le calcul des colonnes et les considérations sismiques.

Conception avancée des structures en béton

Explore les concepts de conception avancés pour les structures en béton, en mettant l'accent sur la continuité pour une meilleure efficacité et durabilité.

Introduction à la prédiffusion

Introduit des structures en béton préfabriqué et des techniques de conception avancées, couvrant des sujets tels que la préfabrication, les connexions de construction et les projets de construction.

Afficher plus

Concepts associés (32)

Program analysis

Analyse statique de programmes

Analyse dynamique de programmes

Béton de ciment

Béton armé

Afficher plus