RSS 48 projects tagged "Linux"

No download Website Updated 03 Apr 2014 Capstone

Screenshot
Pop 148.16
Vit 2.23

Capstone is a disassembly framework with the target of becoming the ultimate disasm engine for binary analysis and reversing in the security community. Running on Windows, Mac OS X, Linux, FreeBSD, OpenBSD, and Solaris, it can disassemble ARM, ARM64 (ARMv8), MIPS, PPC, and x86 architectures. Capstone provides rich details about disassembled instructions along with useful semantic information.

Download Website Updated 12 Jun 2012 Opa

Screenshot
Pop 68.85
Vit 3.60

Opa is a web development platform. It comprises a programming language, a Web server, a database, and a distributed execution engine. All of these are tightly integrated.

No download No website Updated 15 Apr 2014 llpp

Screenshot
Pop 130.90
Vit 37.76

llpp is a MuPDF-based PDF pager.

No download Website Updated 19 Jun 2013 Continuation Passing C

Screenshot
Pop 57.34
Vit 4.08

CPC (Continuation Passing C) is a programming language designed for writing concurrent systems. The CPC programmer manipulates very lightweight threads, choosing whether they should be cooperatively or preemptively scheduled at any given point; the CPC program is then processed by the CPC translator, which produces highly efficient event-loop code. This approach gives the best both worlds: the relative convenience of programming with threads, and the low memory usage of event-loop code. The semantics of CPC is defined as a source-to-source translation from CPC into plain C using a technique known as conversion into Continuation Passing Style. The current implementation of CPC has been used to write Hekate, a BitTorrent seeder designed to handle millions of simultaneous torrents and tens of thousands of simultaneously connected peers.

Download No website Updated 01 Oct 2010 pfff_visual

Screenshot
Pop 34.80
Vit 1.00

pfff_visual is a fancy code visualizer using treemaps and source code thumbnails rendered through Cairo. It leverages static analysis of the code to give semantic feedback visually, which can help you understand the architecture of a project. Pfff_visual uses the pfff infrastructure, which is mainly an OCaml API to write static analysis, dynamic analysis, code visualizations, code navigations, or style-preserving source-to-source transformations such as refactorings on source code. For now, the effort is focused on PHP but there is preliminary support for JavaScript, C, C++, Java, SQL, and even TeX. There is also preliminary support for OCaml code so that the infrastructure can be used on the code of pfff itself.

Download Website Updated 09 Aug 2009 Ocaml Plugin for NetBeans

Screenshot
Pop 21.91
Vit 1.74

Ocaml Plugin extends the NetBeans IDE with support for projects written in the Objective Caml language. It provides syntax highlighting, code completion, build-in documentation, support for OCaml projects with multiple source, test, and docs folders, support for multiple build systems, a sample project template, and an empty project wizard.

No download Website Updated 04 Oct 2012 Frama-C

Screenshot
Pop 98.79
Vit 5.04

Frama-C is a suite of tools dedicated to the analysis of the source code of software written in C. Frama-C gathers several static analysis techniques in a single collaborative framework. The collaborative approach allows static analyzers to build upon the results already computed by other analyzers in the framework. It provides sophisticated tools, such as a slicer and dependency analysis.

No download Website Updated 06 Aug 2009 Goanna

Screenshot
Pop 41.64
Vit 1.77

Goanna is an Eclipse plugin that does static analysis of C/C++ source code with model checking. It detects many instances of null pointer de-referencing, double free(), buffer overruns, uninitialized variables, and other common programming mistakes.

Download Website Updated 21 Oct 2013 libguestfs

Screenshot
Pop 188.40
Vit 12.19

libguestfs is a set of tools for accessing and modifying virtual machine (VM) disk images. You can use this for viewing and editing files inside guests, scripting changes to VMs, monitoring disk used/free statistics, P2V, V2V, performing partial backups, cloning VMs, and much more. libguestfs can access nearly any type of filesystem including: all known types of Linux filesystem (ext2/3/4, XFS, btrfs, etc.), any Windows filesystem (VFAT and NTFS), any Mac OS X and BSD filesystems, LVM2 volumes, MBR and GPT disk partitions, raw disks, qcow2, CD and DVD ISO images, SD cards, and dozens more. libguestfs doesn't need root permissions.

Download Website Updated 10 Aug 2008 virt-mem

Screenshot
Pop 25.69
Vit 1.00

Virt-mem is a set of system administrator tools for monitoring and diagnosing issues with virtual machines. Tools such as "virt-ps" and "virt-dmesg" work analogously to ordinary "ps" and "dmesg". No software has to be installed inside the virtual machine.

Screenshot

Project Spotlight

PPCG

A polyhedral parallel code generator.

Screenshot

Project Spotlight

gpgpwd

A commandline password manager based around GnuPG.