Past Meetup

Static analysis of C++ projects with CodeSonar

This Meetup is past

24 people went

Details

L'analyse statique de programmes consiste en l'analyse d'un programme sans l'exécuter. Parmi les problèmes récurrents détectés avec l'analyse statique, nous incluons la détection d'entrées non-valides, d'utilisation de pointeurs nuls, et de dépassements de tampons. Nous présenterons un aperçu du domaine, et donnerons une démonstration en utilisant CodeSonar, le produit phare de GrammaTech.

La rencontre a lieu dans les bureaux de Microsoft à Montréal, au 5e étage, suite 550. Les portes seront ouvertes à partir de 18h. De la pizza sera servie sur place, gracieuseté de notre commanditaire Druide Informatique inc. La présentation commencera vers 19h, sera d'une durée d'environ 50 minutes et sera donnée par John Plaice.

John Plaice (BMath, Waterloo; PhD, Habilitation, Grenoble) est Senior Scientist avec GrammaTech (Ithaca, NY). Il détient aussi un poste associé à l'UNSW Australia (Sydney). Il habite Montréal.

Merci de mettre à jour votre RSVP en cas d'absence!

=====

Static program analysis consists of the analysis of a computer program without actually executing it. Common problems detected using static analysis include taint analysis, null pointer detection, and buffer overruns. We will give an introduction to the topic, and give a demo using CodeSonar, the flagship product of GrammaTech.

This meetup will be held in Microsoft's Montreal office, on the 5th floor in suite 550. The doors open at 6 pm. Pizza will be served, thanks to our sponsor Druide Informatique inc. The talk will start at 7 pm, will last about 50 minutes and will be given by John Plaice.

John Plaice (BMath, Waterloo; PhD, Habilitation, Grenoble) is Senior Scientist with GrammaTech (Ithaca, NY). He also holds an Adjunct position at UNSW Australia (Sydney). He lives in Montreal.

Thanks for updating your RSVP in case you cannot make it.