From Fedora Project Wiki
(→Some of the software I've written: Add firehose and mock-with-analysis) |
|||
Line 16: | Line 16: | ||
* [https://github.com/fedora-static-analysis/gccinvocation gccinvocation]: Python module for parsing GCC invocation lines | * [https://github.com/fedora-static-analysis/gccinvocation gccinvocation]: Python module for parsing GCC invocation lines | ||
* [https://github.com/davidmalcolm/jamais-vu jamais-vu]: a tool for working with DejaGnu output | * [https://github.com/davidmalcolm/jamais-vu jamais-vu]: a tool for working with DejaGnu output | ||
* [https://github.com/fedora-static-analysis/firehose firehose]: a proposed common format for static analyzer output, along with a Python module for working with it | |||
* [https://github.com/fedora-static-analysis/mock-with-analysis mock-with-analysis]: a way of rebuilding an RPM in mock, injecting static analysis, and capturing the result in Firehose format | |||
I'm currently working on GCC upstream. Previously I worked on the [[SIGs/Python|Python runtimes within Fedora]] and Red Hat Enterprise Linux. | I'm currently working on GCC upstream. Previously I worked on the [[SIGs/Python|Python runtimes within Fedora]] and Red Hat Enterprise Linux. |
Revision as of 20:24, 11 April 2014
Email: dmalcolm@redhat.com
My Fedora People page: http://dmalcolm.fedorapeople.org/
My blog: http://dmalcolm.livejournal.com/
A very old, out-of-date Red Hat People Page: http://people.redhat.com/dmalcolm
Some of the software I've written
- gcc-python-plugin: allowing you to write new GCC plugins in Python.
- cpychecker: a static analysis pass for GCC to find bugs in C extensions to Python, written in Python using gcc-python-plugin
- gdb Python hooks for debugging CPython itself
- gdb-heap, an extension to gdb for analyzing malloc/free
- squeal: a SQL-like syntax for use in shell pipelines
- asmdiff: tool for comparing objdump results
- gccinvocation: Python module for parsing GCC invocation lines
- jamais-vu: a tool for working with DejaGnu output
- firehose: a proposed common format for static analyzer output, along with a Python module for working with it
- mock-with-analysis: a way of rebuilding an RPM in mock, injecting static analysis, and capturing the result in Firehose format
I'm currently working on GCC upstream. Previously I worked on the Python runtimes within Fedora and Red Hat Enterprise Linux.
I'm interested in static code analysis
Older stuff:
- rpmgrok
- conglomerate: an XML editor aimed at non-technical users (I rewrote the prototype)