umontreal-diro / IFT3913

Syllabus pour IFT3913 [automne 2024]
MIT License
21 stars 106 forks source link

Test statique #6

Open bbaudry opened 3 months ago

bbaudry commented 3 months ago

[FR] les tests statiques

if ((err = SSLHashSHA1.update(&hashCtx, &serverRandom)) != 0)
    goto fail;
if ((err = SSLHashSHA1.update(&hashCtx, &signedParams)) != 0)
    goto fail;
    goto fail;

heartbleed bug, with gist

bbaudry commented 2 months ago

How to review code effectively: A GitHub staff engineer’s philosophy

bbaudry commented 2 months ago

An Empirical Study on Code Review Activity Prediction and Its Impact in Practice

bbaudry commented 2 months ago

Modern code review: a case study at google

bbaudry commented 2 months ago

Expectations, outcomes, and challenges of modern code review

bbaudry commented 2 months ago

The (written) unwritten guide to pull requests

bbaudry commented 2 months ago

Measuring Information Diffusion in Code Review at Spotify

bbaudry commented 2 months ago

PEP 8 – Style Guide for Python Code How to Write Beautiful Python Code With PEP 8

bbaudry commented 2 months ago

Google Java Style Guide

bbaudry commented 2 months ago

The Art of Clean Code: Java Style and Conventions

bbaudry commented 2 months ago

Rust Style Guide

bbaudry commented 2 months ago

Source Code Analysis Tools curated by owasp

bbaudry commented 2 months ago

Static Application Security Testing (SAST) Tools curated by snyk

bbaudry commented 2 months ago

sonarqube, en particulier analyse statique de bytecode Java

bbaudry commented 2 months ago

Pylint, Python static code analysis tool

bbaudry commented 2 months ago

pyright, static type checker for Python

bbaudry commented 2 months ago

An Empirical Study of False Negatives and Positives of Static Code Analyzers From the Perspective of Historical Issues

bbaudry commented 2 months ago

spotbugs, uses static analysis to look for bugs in Java code https://github.com/spotbugs/spotbugs

bbaudry commented 2 months ago

Static analysis at GitHub

bbaudry commented 2 months ago

Coccinelle, outil d'analyse statique pour le noyau Linux

[FR] Coccinelle

bbaudry commented 1 month ago

Scaling Static Analyses at Facebook https://cacm.acm.org/research/scaling-static-analyses-at-facebook/

bbaudry commented 1 month ago

Industry-leading semantic code analysis engine https://codeql.github.com/