Search Results for "hpc code analysis"
Sort By:
Showing 22 open source projects for "hpc code analysis"
View related business solutions-
Save Up to 91% on Cloud Compute With Spot VMsRun batch jobs at 60-91% off with Spot VMs. Long-running workloads get automatic discounts with sustained use.
-
$300 Free Credits to Build on Google CloudPut your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
-
1
usbliter8
An A12/A13 SecureROM exploit
...It targets a USB controller bug that requires specialized microcontroller hardware rather than a normal Mac or PC USB stack. The repository includes firmware source code, board support files, shellcode directories, USB handling code, logging helpers, and a Python control tool. It is intended for advanced researchers who understand DFU behavior, embedded development, bootrom analysis, and the risks of hardware-level experimentation. The project documents supported RP2350-based boards and includes build information for people compiling the firmware themselves. ... -
2
AWS IoT Device Defender Library
Client library for using AWS IoT Defender service on embedded devices
...This library has no dependencies on any additional libraries other than the standard C library, and therefore, can be used with any MQTT client library. This library is distributed under the MIT Open Source License. This library has gone through code quality checks including verification that no function has a GNU Complexity score over 8, and checks against deviations from mandatory rules in the MISRA coding standard. Deviations from the MISRA C:2012 guidelines are documented under MISRA Deviations. This library has also undergone static code analysis using Coverity static analysis. -
3
AWS IoT Fleet Provisioning Library
Client library for using AWS IoT Fleet Provisioning service
...This library has no dependencies on any additional libraries other than the standard C library, and therefore, can be used with any MQTT library. This library is distributed under the MIT Open Source License. This library has gone through code quality checks including verification that no function has a GNU Complexity score over 8, and checks against deviations from mandatory rules in the MISRA coding standard. Deviations from the MISRA C:2012 guidelines are documented under MISRA Deviations. This library has also undergone static code analysis using Coverity static analysis, and validation of memory safety through the CBMC automated reasoning tool. -
4
AWS IoT Jobs library
Client library for using AWS IoT Jobs service on embedded devices
...This library provides a convenience API to compose and recognize the MQTT topic strings used by the Jobs service. The library is written in C compliant with ISO C90 and MISRA C:2012, and is distributed under the MIT Open Source License. This library has gone through code quality checks including verification that no function has a GNU Complexity score over 8, and checks against deviations from mandatory rules in the MISRA coding standard. Deviations from the MISRA C:2012 guidelines are documented under MISRA Deviations. This library has also undergone both static code analysis from Coverity. -
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
5
LAME (Lame Aint an MP3 Encoder)
A high quality MP3 encoder
LAME is an educational tool to be used for learning about MP3 encoding. The goal of the LAME project is to improve the psycho acoustics, quality and speed of MP3 encoding. Note: we provide source code only! -
6
FCEUX11
Modern Windows-optimized fork of the FCEUX NES/Famicom emulator.
FCEUX11 is a derivative of the FCEUX NES/Famicom emulator, optimized for Windows. It inherits FCEUX's renowned emulation accuracy while delivering a polished, modern Windows-native experience powered by Qt6. Multi-language support (12 languages) and a full suite of debugging and TAS tools are built in for developers and speedrunners alike. Ongoing internal refactoring and performance optimization work keeps the emulator efficient, smooth, and stable — even under heavy load. Whether you're... -
7
DBD2
A multi-threaded, multi-database tcp-based database insertion app.
DBD2 inserts database records from TCP input. It is a companion project to Syslgod2 and an application in its own right. It ships with a backgrounding client for generic use. The client sends whatever information the user puts on the command-line to the back-end daemon via TCP. Upon successful transmission, the client exits. On failure, it backs off and retries until its life-time timer expires. The back-end daemon accepts data from Syslogd2 or its own client and inserts that data... -
8
Open source Algol 68 implementations
Implementations for the Revised Report language
This project offers open source implementations for UNESCO/IFIP's Algol 68 (the Revised Report language). The project offers two implementations: Implementation 1 is Algol68G: a recent checkout hybrid compiler/interpreter by Marcel van der Veer, supporting arbitrary arithmetic, partial parametrisation, complex numbers, POSIX threads, GNU plotutils, GNU scientific library, curses, sound, TCP sockets, RegEx and PostgreSQL. Inplementation 2 is algol68toc, a port by Sian Mountbatten... -
9
GXSM
Scanning Probe Microscopy Controller and Data Visualization Software
...All latest software is available via github.com/pyzahl/Gxsm4 (source code) or as binary for Ubuntu on https://launchpad.net/~totto/+archive/ubuntu/gxsm -
99.99% Uptime for MySQL and PostgreSQL DatabasesCloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
-
10
AWS IoT Over-the-air Update Library
Manage the notification of a newly available update
The OTA library enables you to manage the notification of a newly available update, download the update, and perform cryptographic verification of the firmware update. Using the library, you can logically separate firmware updates from the application running on your devices. The OTA library can share a network connection with the application, saving memory in resource-constrained devices. In addition, the OTA library lets you define application-specific logic for testing, committing, or... -
11
Mosca
Tool to find bugs like a grep unix command
Just another Simple static analysis tool to find bugs like a grep unix command, at mosca have a modules, that was call egg, each egg is a simple config to find bug at especific language like PHP,Ruby,ASP etc... Example of egg config at directory "egg", If Mosca read a line with vunerability of egg in source code, then, mosca have alert about vulnerability and save at logs. -
12
What is DracOS GNU/Linux Remastered ? DracOS GNU/Linux Remastered ( https://github.com/dracos-linux ) is the Linux operating system from Indonesia , open source is built based on Debian live project under the protection of the GNU General Public License v3.0. This operating system is one variant of Linux distributions, which is used to perform security testing (penetration testing). Dracos linux in Arm by hundreds hydraulic pentest, forensics and reverse engineering. Use a GUI-based...
-
13
Distributed MultiThreaded Checkpointing
Checkpoint/Restart functionality for Linux processes
...With the use of TightVNC, it can also checkpoint and restart X-Window applications. The OpenGL library for 3D-graphics is supported through a special plugin. It also has strong support for HPC (High Performance Computing) environments, including MPI and SLURM, through the github MANA project: https://github.com/mpickpt/mana -
14
progrep
Utility to show live progress, status & stats for running simulations
...It shows % completed, time remaining, time elapsed, number of threads, MPI_Rank(if any), CPU usage & speed (FPS). The FPS measures may be used in benchmarking, e.g. while optimizing HPC algorithms for performance. progrep supports both single-threaded and parallel (multicore/multinode - e.g. OpenMP/MPI) jobs. progrep can also report for jobs running on remote hosts, e.g. jobs running on Linux Clusters. progrep works in client-server model. The server can be installed in your simulation source code with only 4 extra lines (API). ... -
15
CTREE Graphic Tree Generator for C
An analysis tool showing the structure of a C program
CTREE is a command line utility providing analysis tools useful to software engineers tasked with tracking down problems or verifying a program's soundness. It is also an aid to understanding the structure of unfamiliar programs. As it works with standard C it finds most of its utility in embedded systems and older software. CTREE comes with a comprehensive manual. CTREE is is released by Cleveland Engineering Design, LLC - developer of the CoRTOS cooperative... -
16
CapAnalysis
PCAP from another point of view
CapAnalysis is a web visual tool for information security specialists, system administrators and everyone who needs to analyze large amounts of captured network traffic. Analyze TCP and UDP streams Support multible datasets Perform deep packet inspection Support filtering capability Source Code: https://github.com/xplico/CapAnalysis -
17
PRTOS Preemptive RTOS for embedded aps
PRTOS is a simple, compact preemptive RTOS for embedded systems
...The advantages of PRTOS are: It has the smallest footprint of any true preemptive system: 1.9kB for basic scheduling and task control, 5.1kB with all the features below (AVR '328 / gcc -Os); Only 950 lines of code implement all of the RTOS features (SLOC-L); The system is well documented with a comprehensive manual, well-commented source code, and a test suite demonstrating the features; The system is proven - it has been in use since 1982 with applications in in-vitro medical equipment, process control instrumentation and industrial machinery; PRTOS is released by Cleveland Engineering Design, LLC - developer of the CoRTOS cooperative RTOS https://sourceforge.net/projects/cortos-simple/ and the CTREE analysis tool https://sourceforge.net/projects/ctree-graphic-tree-generator/ Commercial licensing is available -
18
Ichnaea
Performance Timing Tools
Ichnaea is a set of tools that aid in collecting and tracking parameters and timings for parallel applications. The Performance Modelling Timing Module, PMTM, is a library that wraps system timing calls to abstract these from code developers and aid portability. It also has functionality to store parameters and print those, along with the timing information to a comma separated variable file. The Performance Modelling Analysis Tool, PMAT, is coming soon. This is able to read in and store the outputs from PMTM and produce some graphs based on user-defined criteria. ... -
19
Linux Kernel Programming IDE (LinK+)
A Simple 'IDE'A for Linux Kernel Developers
LinK+ IDE is a simple IDE for Linux Kernel Developers and Lovers. It is based on Eclipse IDE customized for Linux kernel programming. It reduces the development time and executes code in an elegant fashion. This IDE supports Linux kernel configuration, compilation & emulation, system call development and device driver development. LinK+ IDE includes various templates in the category of character, block and network device driver subsystems for device driver development. It includes... -
20
Udis86 is an easy-to-use minimalistic disassembler library for the x86 and x86-64 instruction set architectures. The primary intent of the design and development of udis86 is to aid software development projects that entail binary code analysis.
-
21
The IPv6 Stack that runs on your target. FIP is designed to fit in medium-sized 8-bit microcontrollers, while not sacrificing performance on larger devices.
-
22
This project involves adding code to the Linux kernel to implement crash dumps for performing post-failure analysis of a kernel crash.
- Previous
- You're on page 1
- Next
