Static program analysis tools

PC-Lint

PC-lint is a commercial software linting tool produced by Gimpel Software (formerly Gimp Suit Software Ltd.) for the C/C++ languages. PC-lint is a command-line tool for performing static code analysis, indicating suspicious or plain wrong issues in source code. PC-lint can be integrated into IDEs as an external tool, and the format of the warning messages can be adapted to the form the IDE is able to recognize and process. It is advertised as running on Microsoft Windows and OS/2. A separate multi-platform version called FlexeLint is also available for Unix and other platforms, albeit at substantially greater cost. PC-lint can be used for quality assurance of C or C++ source code and checking the code for conformance to coding guidelines such as MISRA C or MISRA C++. It also includes checks for problems unique to parallel programs built on POSIX threads. (Wikipedia).

Video thumbnail

Intersection of a Plane and a Line

Quickstart for Desktop Version Example 5: Intersection of a Plane and a Line

From playlist Quickstart for Desktop

Video thumbnail

The Mandelbrot set is a churning machine

Its job is to fling off the red pixels and hang onto the green ones. Audio by @Dorfmandesign

From playlist mandelstir

Video thumbnail

Reuploaded: https://youtu.be/oGDAov8TjCg

Reuploaded: https://youtu.be/oGDAov8TjCg

From playlist Pint of Science!

Video thumbnail

Computer Basics: What Is a Computer?

Computers are all around us, and they play an important role in our lives. But what exactly is a computer? We're going to answer that question and give you an overview of some of the different types of computers you might use. 0:00 Intro 0:22 Ones and zeros 0:39 Hardware and software 1:0

From playlist Starting out with Technology

Video thumbnail

Stirring the Mandelbrot Set: a checkerboard

http://code.google.com/p/mandelstir/

From playlist mandelstir

Video thumbnail

Using VS Code with Python for Data Science / Data Analysis - P.5

Python Fundamentals Course (DataCamp) πŸ‘‰πŸΌ https://lukeb.co/PythonBasicsDataCamp Data Analyst Track w/ Python (DataCamp) πŸ‘‰πŸΌ https://lukeb.co/PythonAnalystDataCamp (My recommended courses that I took to learn Python!) For this video we cover how data analysts and data scientists set up and u

From playlist Python Setup

Video thumbnail

Computer Literacy - (unit 1) - the desktop interface - 1 of 5.mp4

First unit of a series for newbie computer users. See http://proglit.com/computer-skills/ for additional information and material.

From playlist Computer Literacy - (unit 1) - the desktop

Video thumbnail

3 Coding Tricks NO ONE Talks About

Get 2 months of Skillshare Premium for free --- https://bit.ly/forrestknight14 Everyone talks about the basics of programming and how to get started - myself included - but what about the things no one talks about? Those little coding tricks a software developer uses on a day-to-day basis

From playlist Software Engineering

Video thumbnail

React + Prettier + Standard JS - Live Coding with Jesse

I received a few great pull requests, one of which included Prettier and Standard JS. Today I am going to go over what these do and some of the errors that were found in my code after implementing them. Also, as always, Q and A at the end! See a professional front-end developer at work.

From playlist Live Coding with Jesse

Video thumbnail

Stanford Seminar - The Soul of a New Machine: Rethinking the Computer

Bryan Cantrill Oxide Computer Company February 26, 2020 While our software systems have become increasingly elastic, the physical substrate available to run that software (that is, the computer!) has remained stuck in a bygone era of PC architecture. Hyperscale infrastructure providers ha

From playlist Stanford EE380-Colloquium on Computer Systems - Seminar Series

Video thumbnail

PCB Wall

What to do with all those old PCBs from stuff you've taken apart...

From playlist Projects & Installations

Video thumbnail

Computer Literacy - (unit 3) - hardware - 1 of 3

Third unit of a series for newbie computer users. See http://proglit.com/computer-skills/ for additional information and material.

From playlist Computer Literacy - (unit 3) - hardware

Video thumbnail

How To Develop 2D Adventure Game With Game Maker Studio | Session 03 | #gamedev

Don’t forget to subscribe! In this project series, you will learn to develop 2D adventure game. We will use Game Maker studio to develop this amazing game. we will be developing a 2D Adventure Platformer game which is a sequel to a game I've made in the past. We'll be going over the pr

From playlist Develop 2D Adventure Game With Game Maker Studio

Video thumbnail

React Project 2 Day 3 - Live Coding with Jesse

Day 3 of the new React project. We are using create-react-app and Material UI. Today I am going to continue building the main layout, and customizing Material UI. See a professional front-end developer at work. Unscripted. Mistakes included. Git Repo: https://github.com/fus-marcom/resour

From playlist Live Coding with Jesse

Video thumbnail

The Computer Chronicles - Computer Bowl V Part 2 (1993)

Special thanks to archive.org for hosting these episodes. Downloads of all these episodes and more can be found at: http://archive.org/details/computerchronicles

From playlist The Computer Chronicles - Computer Bowl Competitions

Video thumbnail

Introduction to Quantum Computing with Python and Qiskit

A race has started among organizations and nations to achieve Quantum Supremacy. Problems that seemed impossible to solve in the past, now, with the help of Quantum Computing are solved within minutes or hours. Follow me in this talk in my journey to learn how to harness the power of Quant

From playlist Quantum Computing

Video thumbnail

How to run Python for Data Science - Editors vs IDEs - P.2

Python Fundamentals Course (DataCamp) πŸ‘‰πŸΌ https://lukeb.co/PythonBasicsDataCamp Data Analyst Track w/ Python (DataCamp) πŸ‘‰πŸΌ https://lukeb.co/PythonAnalystDataCamp (My recommended courses that I took to learn Python!) This video covers how data scientists and data analysts run Python on thei

From playlist Python Setup

Video thumbnail

Amazing railway track laying machine

I want one of these.

From playlist Science

Video thumbnail

RailsConf 2016 - Strong Practices for Rails Applications Continuous Delivery

Strong Practices for Rails Applications Continuous Delivery by Nathan Smith & Robb Kidd High-velocity organizations deliver change to their customers quickly in a repeatable and predictable way. This talk will explore some pre-requisites and best practices that will help your team move to

From playlist RailsConf 2016

Related pages

List of tools for static code analysis | Lint (software)