Static program analysis tools

Splint (programming tool)

Splint, short for Secure Programming Lint, is a programming tool for statically checking C programs for security vulnerabilities and coding mistakes. Formerly called LCLint, it is a modern version of the Unix lint tool. Splint has the ability to interpret special annotations to the source code, which gives it stronger checking than is possible just by looking at the source alone. Splint is used by gpsd as part of an effort to design for zero defects. Splint is free software released under the terms of the GNU General Public License. Main development activity on Splint stopped in 2010. According to the CVS at SourceForge, as of September 2012 the most recent change in the repository was in November 2010. A Git repository at GitHub has more recent changes, starting in July 2019. (Wikipedia).

Video thumbnail

3D Modelling in Spline

Spline is an easy to use 3D design tool geared for any designer regardless of their 3D experience. It's simpler to learn than full featured 3D appsโ€”such as Cinema 4D or Blenderโ€”because it doesn't bog you down with loads and loads of settings and features. Best of all, it is browser-based a

From playlist Web Animations

Video thumbnail

Splunk Tutorial for Beginners - 1 | What is Splunk? | Splunk Training Video | Edureka

***** Splunk Training: https://www.edureka.co/splunk-certification-training ***** This Splunk tutorial will help you understand what is Splunk, Splunk features, Splunk architecture - Splunk Forwarder, Indexer and Search Head, installation and configuration of Splunk. This Splunk tutorial v

From playlist Splunk Tutorial Videos

Video thumbnail

Programming & Using Splines - Part#1

Splines, in this case Catmull-Rom splines, offer a simple way to have curves in your applications. This video explores the programming to use spline paths and loops that go through all control points yielding an effective way to have more natural NPC AI behaviour. Github: https://github.c

From playlist Interesting Programming

Video thumbnail

Splunk Tutorial for Beginners | Splunk Installation and Configuration | Splunk Training | Edureka

๐Ÿ”ฅ Edureka Splunk Training & Certification (๐”๐ฌ๐ž ๐‚๐จ๐๐ž: ๐˜๐Ž๐”๐“๐”๐๐„๐Ÿ๐ŸŽ) : https://www.edureka.co/splunk-certification-training This Edureka "๐’๐ฉ๐ฅ๐ฎ๐ง๐ค ๐“๐ฎ๐ญ๐จ๐ซ๐ข๐š๐ฅ ๐Ÿ๐จ๐ซ ๐๐ž๐ ๐ข๐ง๐ง๐ž๐ซ๐ฌ" video will help you understand what is Splunk and the why to use it. Moving on, we will help you install and configure Splunk

From playlist Splunk Tutorial Videos

Video thumbnail

How to cut a spritesheet into separate picture files

Using Adobe Photoshop CC. Source of sprites: http://opengameart.org/content/platform-character

From playlist Technology

Video thumbnail

Javascript games programming using Phaser in Dreamweaver lesson 4 - Animation with spritesheets

Source code for this lesson: http://magicmonktutorials.com/phaser/lesson4.html In this lesson we learn how to rotate the player sprite as we press the arrow keys, so it is facing the same direction as it is moving in. Then we started inserting enemies as a spritesheet and set it up with a

From playlist Javascript game making with Phaser

Video thumbnail

22C3: Finding and Preventing Buffer Overflows

Speaker: Martin Johns An overview of static and dynamic approaches A talk that will present academic tools, which are designed to find or disarm security problems in C code For more information visit: http://bit.ly/22c3_information To download the video visit: http://bit.ly/22c3_videos

From playlist 22C3: Private Investigations

Video thumbnail

C Programming: Sorting and searching arrays of structs

In this session we learn how to sort an array of structs, then search it using the built-in binary search (bsearch) function.

From playlist C Programming

Video thumbnail

3D Game Maker (C++ and OpenGL)

This is something I have been working on as a hobby for several months. It's my game engine I have been programming from scratch. I have a lot more I would like to add but here is what I have so far.

From playlist 3D Programming

Video thumbnail

Programming & Using Splines - Part#2

A direct follow on from Splines Part 1, in this video we look at how to move objects around a spline at a constant(ish) velocity. This approach is an approximation but it is good enough for games, and in particular, non-player character motion. It also shows the costs associated with usin

From playlist Interesting Programming

Video thumbnail

How Britain's Historic Military Weapons Were Designed | The Genius Of Design | Spark

From the desperate improvisation of the Sten gun, turned out in huge numbers by British toy-makers, to the deadly elegance of the all-wood Mosquito fighter-bomber, described as `the finest piece of furniture ever made', we see how definitions of good design shift dramatically when national

From playlist The Genius Of Design

Video thumbnail

New Aids For Sick And Injured (1965)

Title reads: "New Aids for Sick and Injured". New medical inventions - Pneumatic Splints, Greenford, Middlesex. A pile of boxes falls onto man in store room. Another man runs in to give assistance to injured man. The other man has two bags with him, inside is a new invention - infl

From playlist Medical Inventions

Video thumbnail

Testing for Hydrogen, Oxygen, Carbon Dioxide, Ammonia and Chlorine | Tests | Chemistry | FuseSchool

Ever wondered how to conduct a chemical test for the presence of colourless and odourless gases? Watch this to find out how! At Fuse School, teachers and animators come together to make fun & easy-to-understand videos in Chemistry, Biology, Physics, Maths & ICT. Our OER are available free

From playlist CHEMISTRY: Chemical Tests

Video thumbnail

Testing For Hydrogen, Oxygen, Carbon Dioxide & Chlorine | Matter | Chemistry | FuseSchool

Learn the basics about Testing for hydrogen, oxygen, carbon dioxide and chlorine. Why do we need to test these particular gases? Find out more in this video! This Open Educational Resource is free of charge, under a Creative Commons License: Attribution-NonCommercial CC BY-NC ( View Licen

From playlist CHEMISTRY: Chemical Tests

Video thumbnail

Chemical Tests

Edexcel IGCSE Chemistry lesson on chemical tests

From playlist Edexcel IGCSE Chemistry

Video thumbnail

Matches | How It's Made

#HowItsMade Mondays 9/8c on Science The first matches were used in 5th century China, but commercial safety matches were only invented in the 19th century. Full episodes streaming FREE on Science GO! https://www.sciencechannelgo.com/how-its-made/ More How It's Made: http://www.sciencecha

From playlist How It's Made

Video thumbnail

Chemical Tests - GCSE Chemistry Revision - SCIENCE WITH HAZEL

In this Chemistry revision video Hazel goes through the various chemical tests, including the tests for carbon dioxide, hydrogen, oxygen, water and chlorine. For additional support Like Hazel's Facebook Page https://goo.gl/w2261M Hazel completed her undergraduate degree at St John's Coll

From playlist GCSE & IGCSE Chemistry Revision //

Video thumbnail

Mountain Men: Hand Crushed While Building a Cabin (Season 8) | History

While building a cabin, a track hoe mishap injures Raleigh's hand in this clip from Season 8, "Breaking Point". #MountainMen Subscribe for more from Mountain Men and other great HISTORY shows: http://histv.co/SubscribeHistoryYT Find out more about the show and watch full episodes on our s

From playlist Mountain Men | Official Series Playlist | New Episodes Return Thursday, November 3rd at 8/7c | History

Video thumbnail

Splunk Architecture | Splunk Tutorial For Beginners | Splunk Training | Splunk Components | Edureka

***** Splunk Training: https://www.edureka.co/splunk-certification-training ***** This tutorial on Splunk Architecture will help you understand the various components that make up a Splunk distributed cluster and most importantly, it will give a detailed explanation of the architecture of

From playlist Splunk Tutorial Videos

Related pages

List of tools for static code analysis