Tags : Browse Projects

Select a tag to browse associated projects and drill deeper into the tag cloud.

ChibiOS/RT embedded RTOS

Compare

  Analyzed about 15 hours ago

ChibiOS/RT is a compact and fast RTOS designed for embedded applications. It offers threads, mutexes, semaphores, messages, events, timers, flexible I/O with timeout capability. ARM7, Cortex-M3, AVR, MSP430 and x86 are currently supported.

0 lines of code

0 current contributors

0 since last commit

7 users on Open Hub

Activity Not Available
5.0
 
I Use This
Mostly written in language not available
Licenses: Commercial, gpl3_or_l...

S2E - A Platform for In-Vivo Multi-Path Software Analysis

Compare

  Analyzed about 1 hour ago

S2E is a platform for writing tools that analyze the properties and behavior of software systems. S2E is a virtual machine augmented with symbolic execution. Users install and run an unmodified x86 software stack in S2E, including programs, libraries, the OS kernel, and drivers. Symbolic execution ... [More] then automatically explores hundreds of thousands paths through the system, allowing users to check desired properties even in corner-case situations. Unlike existing analysis tools, S2E does not require to write code in special languages or model the environment. [Less]

868K lines of code

0 current contributors

about 2 years since last commit

0 users on Open Hub

Inactive
5.0
 
I Use This