Concept

Static program analysis

Related courses (35)

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

HUM-408: Industrial design I

Le cours propose d'expérimenter les spécificités du design industriel en confrontant les étudiant.e.s à la création d'un objet. Il s'agit d'un enseignement pratique dont le résultat est un objet fonct

AR-302(aj): Studio BA6 (Baumgartner et Camponovo)

STAY A LITTLE LONGER étudie les potentialités du bâti existant. Les outils de représentations du projet de transformation - Existant/Noir, Démolition/Jaune, Nouveau/Rouge -structureront l'exploration

AR-402(aj): Studio MA2 (Baumgartner et Camponovo)

MATH-611: Scientific programming for Engineers

The students will acquire a solid knowledge on the processes necessary to design, write and use scientific software. Software design techniques will be used to program a multi-usage particles code, ai

PHYS-210: Physique numérique (pour SPH)

Aborder, formuler et résoudre des problèmes de physique en utilisant des méthodes numériques élémentaires. Comprendre les avantages et les limites de ces méthodes (stabilité, convergence). Illustrer d

AR-201(m): Studio BA3 (Taillieu)

A house is the simple topic of this studio. A matter of simple complexity. Starting as reference from an architect's drawing and a pavilion; constructing a "space to be". Then making two houses, "a pl

AR-202(m): Studio BA4 (Taillieu)

A house is the simple topic of this studio. A matter of simple complexity. Starting as reference from an architect's drawing and a pavillon; constructing a "space to be". Then making two houses, "a pl

ENG-641: The Practice of Ethics in Engineering Research

Using facilitated debates and systemic analysis of ethical challenges in engineering and research the course outlines how human agency can respond to dilemmas to reframe these as opportunities for inn

HUM-476: Ecological transition: from theory to practice I

Ce cours permet aux étudiant·e·s d'acquérir des connaissances théoriques et pratiques sur les enjeux liés à la transition écologique et sociale. Il comprend des enseignements interdisciplinaires, ains

CS-305: Software engineering

This course teaches the basics of modern software development: designing software, working in a team, writing good code, shipping software, and evolving software. It emphasizes building software that