Ohloh by Black Duck

 Follow @ Meta   Join Now

 

Projects

Browse Projects By Tags Add a New Project
Selected Tags
Related Tags

Browsing projects by Tag(s)

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

Showing page 1 of 1

ChibiOS/RT embedded RTOS

Compare

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.

5.0
 
  1 review  |  3 users  |  295,872 lines of code  |  6 current contributors  |  Analyzed about 7 hours ago
  os avr-gcc devicedriver atmega microcontroller gpl3 arm7 mcu lpc1000 hardware preemptive cortex-m 35 more...
 
 

device-driver-snippets-and-utilities

Compare

I am hoping to provide snippets for device drivers and other command line utilities helpful for driver developers

0
 
  0 reviews  |  0 users  |  78,583 lines of code  |  0 current contributors  |  Analyzed 5 days ago
  commandlineutilities devicedrivers
 
 

S2E - A Platform for In-Vivo Multi-Path Softwar...

Compare

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]

5.0
 
  0 reviews  |  0 users  |  864,842 lines of code  |  10 current contributors  |  Analyzed 4 days ago
  binaries analysis testingframework lua klee qemu stp llvm devicedrivers symbolicexecution testing
 
 
 
 

Creative Commons License Copyright © 2013 Black Duck Software, Inc. and its contributors, Some Rights Reserved. Unless otherwise marked, this work is licensed under a Creative Commons Attribution 3.0 Unported License . Ohloh ® and the Ohloh logo are trademarks of Black Duck Software, Inc. in the United States and/or other jurisdictions. All other trademarks are the property of their respective holders.