Static program analysis tools

CodePeer

CodePeer is a static analysis tool, which identifies constructs that are likely to lead to run-time errors such as buffer overflows, and it flags legal but suspect code, typical of logic errors in Ada programs. All Ada run-time checks are exhaustively verified by CodePeer, using a variant of abstract interpretation. In October 2014, CodePeer was qualified for use in safety-critical contexts as a sound tool for identifying possible run-time errors. CodePeer also produces detailed as-built documentation of each subprogram, including pre- and post-conditions, to help with code review and to ease locating potential bugs and vulnerabilities early. CodePeer is produced by AdaCore, a computer software company with North American headquarters in New York City and European headquarters in Paris. (Wikipedia).

Video thumbnail

the Internet (part 2)

An intro to the core protocols of the Internet, including IPv4, TCP, UDP, and HTTP. Part of a larger series teaching programming. See codeschool.org

From playlist The Internet

Video thumbnail

the C language (part 2 of 5)

Introduction to the C programming language. Part of a larger series teaching programming. See http://codeschool.org

From playlist The C language

Video thumbnail

Clojure - the Reader and Evaluator (4/4)

Part of a series teaching the Clojure language. For other programming topics, visit http://codeschool.org

From playlist the Clojure language

Video thumbnail

the C language (part 5 of 5)

Introduction to the C programming language. Part of a larger series teaching programming. See http://codeschool.org

From playlist The C language

Video thumbnail

A Simple Programming Language - (part 13 of 13)

An introduction to programming with a reductively simple programming language. Part of a larger series teaching programming. Visit http://codeschool.org Please link to the playlist (http://www.youtube.com/playlist?list=PL2F1485C69B311408) rather than this video as individual videos may g

From playlist A Simple Programming Language

Video thumbnail

Lec 25 | MIT 6.451 Principles of Digital Communication II

Linear Gaussian Channels View the complete course: http://ocw.mit.edu/6-451S05 License: Creative Commons BY-NC-SA More information at http://ocw.mit.edu/terms More courses at http://ocw.mit.edu

From playlist MIT 6.451 Principles of Digital Communication II

Video thumbnail

Coding vs Programming | What Is The Difference Between Coding And Programming? | Simplilearn

This video is based on the most exciting dibate topic where we will discuss about coding vs programming. In the typical conditions, the terms coding and programming are considered as synonyms to eachother, but there is a thin line of difference. This tutorial will help you learn the fundam

From playlist C++ Tutorial Videos

Video thumbnail

Clojure - the Reader and Evaluator (2/4)

Part of a series teaching the Clojure language. For other programming topics, visit http://codeschool.org

From playlist the Clojure language

Video thumbnail

Learn to use CodePen from a co-founder of CodePen

Chis Coyier, who co-founded CodePen, demonstrates how to use CodePen and shares some little-known tricks. CodePen is a social development environment that allows you to write code in the browser, and see the results of it as you build. 🔗https://codepen.io/ -- Learn to code for free an

From playlist Tutorials

Video thumbnail

What Is TypeScript?| TypeScript Tutorial | TypeScript Tutorial For Beginners | #Shorts | Simplilearn

🔥Explore our FREE Courses with completion certificates: https://www.simplilearn.com/skillup-free-online-courses?utm_campaign=WhatisTypescriptShorts&utm_medium=Description&utm_source=youtube This short on What Is TypeScript gives us an overview of TypeScript. TypeScript is a variant of Jav

From playlist #Shorts | #Simplilearn

Video thumbnail

Scripting vs Programming :Major Difference Between Scripting And Programming | #Shorts | Simplilearn

🔥Explore Our Free Courses With Completion Certificate by SkillUp: https://www.simplilearn.com/skillup-free-online-courses?utm_campaign=ScriptingvsProgramming&utm_medium=ShortsDescription&utm_source=youtube A scripting language is a computer language that does not require compilation and i

From playlist #Shorts | #Simplilearn

Video thumbnail

CS50 2022 - Lecture 9 - Flask

*** This is CS50, Harvard University's introduction to the intellectual enterprises of computer science and the art of programming. *** TABLE OF CONTENTS 00:00:00 - Introduction 00:01:12 - Flask 00:27:35 - Forms 00:34:19 - Templates 00:43:58 - Request Methods 00:55:31 - Frosh IMs 01:32

From playlist CS50 Lectures 2022

Related pages

List of tools for static code analysis | Abstract interpretation