Static program analysis tools

ThreadSafe

ThreadSafe is a source code analysis tool that identifies application risks and security vulnerabilities associated with concurrency in Java code bases, using whole-program interprocedural analysis. ThreadSafe is used to identify and avoid software failures in concurrent applications running in complex environments. (Wikipedia).

ThreadSafe
Video thumbnail

Knots with cogs

Unofoil with cogs: http://shpws.me/wk7u Trefoil with cogs: http://shpws.me/wk7H Cinquefoil with cogs: http://shpws.me/wk7t

From playlist 3D printing

Video thumbnail

Oldham coupling 2

An embodiment of Oldham coupling Axial dimenssion is reduced. STEP files of this video: http://www.mediafire.com/file/cm59bxiampf69kc/OldhamCoupling2STEP.zip Inventor files: http://www.mediafire.com/file/9p3vsnicqjn8cji/OldhamCoupling2Inv.zip

From playlist Mechanisms

Video thumbnail

Device for milling Archimedean spiral groove 1

Combination of bevel gear satellite drive and nut-screw one.

From playlist Mechanisms

Video thumbnail

GoGaRuCo 2013 - Thread Safety First by Emily Stolfo

Concurrency in Ruby is hard and our thread-unsafe code often works by accident. We are not used to thinking about concurrency because of the GVL but there are different implementations of Ruby with their own semantics that can unearth concurrency bugs. We have to get more accustomed to wri

From playlist GoGaRuCo 2013

Video thumbnail

Catching a 1 in 400 billion bug

This bug is something I encountered several years ago while working on a custom inter-process communication layer for a piece of embedded software inside of some big machine. During stress testing we found that the software crashed unexpectedly about once or twice per week. When trying to

From playlist Summer of Math Exposition Youtube Videos

Video thumbnail

d14

Available at http://mathartfun.com/DiceLabDice.html

From playlist Dice

Video thumbnail

Get a New Perspective

Get a New Perspective on the world with HowStuffWorks.com

From playlist Classic HowStuffWorks

Video thumbnail

Garden City Ruby 2014 - Ruby memory Model by Hari Krishnan

An intermediate level talk to understand the inner workings of Ruby Memory Model. Topics covered: What is a Memory Model and why should I care Evolution of Ruby Memory Model What every developer should know about the memory management in Ruby Design considerations Having worked on several

From playlist Garden City Ruby 2014

Video thumbnail

MountainWest RubyConf 2013 Immutable Ruby by Michael Fairley

Most Ruby code makes heavy use of mutable state, which often contributes to long term maintenance problems. Mutability can lead to code that's difficult to understand, libraries and applications that aren't thread-safe, and tests that are slow and brittle. Immutability, on the other hand,

From playlist Mountain West Ruby 2013

Video thumbnail

Lynn Root: Advanced asyncio: Solving Real-World Production Problems

Everyone’s talking about it. Everyone’s using it. But most likely, they’re doing it wrong, just like we did. By building a simplified chaos monkey service, we will walk through how to create a good foundation for an asyncio-based service, including graceful shutdowns, proper exception hand

From playlist PyColorado 2019

Video thumbnail

Half nuts for lathes

The haft nuts get engaged with the leadscrew by the blue slot face cam. The mechanism is used for turning threads. STEP files of this video: http://www.mediafire.com/file/7se4xsumc4omv8f/HalfNutsLathesSTEP.zip Inventor files: http://www.mediafire.com/file/lnzixvj67i4ajl7/HalfNutsLathesInv.

From playlist Mechanisms

Video thumbnail

Sequel by Jeremy Evans

Help us caption & translate this video! http://amara.org/v/FGif/

From playlist MWRC 2009

Video thumbnail

Parameter einer linearen Gleichung

Quickstart für Web und Tablet App Beispiel 2: Parameter einer linearen Gleichung

From playlist Quickstart für Web und Tablet App

Video thumbnail

Silky Smooth Symmetry

These animations were created using Silk: www.weavesilk.com

From playlist Random

Video thumbnail

JRuby 2009 - JRuby State of the Union

JRuby State of the Union by: Thomas Enebo and Charles Nutter

From playlist JRuby 2009

Video thumbnail

Networking in C++ Part #2: MMO Client/Server, ASIO, Sockets & Connections

In this video we get down to the business of transferring data between a server and multiple clients. The framework abstracts away the need to worry about how ASIO actually does its thing, and leaves us with a simple to customise client and server interface. It's enough to start tinkering

From playlist Interesting Programming

Video thumbnail

Ruby Conf 2013 - Opal, A new hope (for Ruby programmers)

By Forrest Chang A short time ago, in an internet not far away ... It is a period of Javascript revolution. Rebel Ruby coders, striking from an obscure repository, have won significant victories against evil Javascript Empire. During the battle, Rebel Ruby coders have managed to dupli

From playlist RubyConf 2013

Video thumbnail

Ruby Conf 2013 - Advanced Concurrent Programming in Ruby

By Jerry D'Antonio Rumor has it that you can't write concurrent programs in Ruby. People once believed that the world was flat and we all know how that turned out. Between the native threads introduced in MRI 1.9 and the JVM threading available to JRuby, Ruby is now a valid platform for c

From playlist RubyConf 2013

Video thumbnail

Belt drive 8

Rotation transmission between parallel shafts, one can move. The key factor is: 4 belt branches connecting to the green and blue pulleys must be parallel. It uses rope and flat belts, not V-belts. Inventor files of this video: http://www.mediafire.com/file/92mo39k7kqkgzde/BeltDrive8Inv.z

From playlist Mechanisms

Related pages

List of tools for static code analysis | Deadlock | Race condition