Does Infer dream of design by contract?Kiwamu Okabe
Infer is a static analysis tool that analyzes source code to detect potential bugs such as null pointer dereferences, memory leaks, and resource leaks. It has its own model and checks code based on separation logic. Infer can analyze single files or entire projects made with Make. When run, it will output any issues found like null pointer dereferences along with the line number and a description. The document discusses how Infer could be used to implement design by contract at compile-time by adding assertions that would cause compile errors if violated.
This document describes the configuration of two network interfaces - virbr0 and virbr0-nic. Virbr0 is a bridge interface with IP 192.168.122.1 and MAC 52:54:00:ca:8f:0a that is currently in the DOWN state. Virbr0-nic is a slave interface of virbr0 with the same MAC and is also in the DOWN state.
Hands-on VeriFast with STM32 microcontrollerKiwamu Okabe
The document discusses setting up the development environment for hands-on verification of STM32 microcontroller applications using VeriFast. It describes installing ChibiOS/RT real-time operating system, the STM32 toolchain, VeriFast verification tool, and connecting an STM32 board. The document provides instructions for setting up the environment on Windows and MacOS.
Does Infer dream of design by contract?Kiwamu Okabe
Infer is a static analysis tool that analyzes source code to detect potential bugs such as null pointer dereferences, memory leaks, and resource leaks. It has its own model and checks code based on separation logic. Infer can analyze single files or entire projects made with Make. When run, it will output any issues found like null pointer dereferences along with the line number and a description. The document discusses how Infer could be used to implement design by contract at compile-time by adding assertions that would cause compile errors if violated.
This document describes the configuration of two network interfaces - virbr0 and virbr0-nic. Virbr0 is a bridge interface with IP 192.168.122.1 and MAC 52:54:00:ca:8f:0a that is currently in the DOWN state. Virbr0-nic is a slave interface of virbr0 with the same MAC and is also in the DOWN state.
Hands-on VeriFast with STM32 microcontrollerKiwamu Okabe
The document discusses setting up the development environment for hands-on verification of STM32 microcontroller applications using VeriFast. It describes installing ChibiOS/RT real-time operating system, the STM32 toolchain, VeriFast verification tool, and connecting an STM32 board. The document provides instructions for setting up the environment on Windows and MacOS.
NagoyaStat #1 で用いた発表資料になります。主な内容は統計モデリングの考え方と、ポアソン分布に従うデータに対して最尤推定法を適用する方法です。
This slide is used at NagoyaStat #1 on August 6, 2016. Main contents are way of thinking of statistical modeling and applying Maximum Likelihood Estimation to data following poisson distribution.