From Fedora Project Wiki

(add link to asmdiff)
m (add title)
(5 intermediate revisions by the same user not shown)
Line 1: Line 1:
= David Malcolm =
Email: dmalcolm@redhat.com
Email: dmalcolm@redhat.com


Line 8: Line 10:


= Some of the software I've written =
= Some of the software I've written =
* [http://gcc.gnu.org/wiki/JIT libgccjit]: a branch of GCC allowing it to be built as a shared library for use in Just-In-Time compilation
* [https://fedorahosted.org/gcc-python-plugin/ gcc-python-plugin]: allowing you to write new GCC plugins in Python.
* [https://fedorahosted.org/gcc-python-plugin/ gcc-python-plugin]: allowing you to write new GCC plugins in Python.
* [https://gcc-python-plugin.readthedocs.org/en/latest/cpychecker.html cpychecker]: a static analysis pass for GCC to find bugs in C extensions to Python, written in Python using gcc-python-plugin
* [https://gcc-python-plugin.readthedocs.org/en/latest/cpychecker.html cpychecker]: a static analysis pass for GCC to find bugs in C extensions to Python, written in Python using gcc-python-plugin
Line 14: Line 17:
* [https://fedorahosted.org/squeal/ squeal]: a SQL-like syntax for use in shell pipelines
* [https://fedorahosted.org/squeal/ squeal]: a SQL-like syntax for use in shell pipelines
* [https://github.com/davidmalcolm/asmdiff asmdiff]: tool for comparing objdump results
* [https://github.com/davidmalcolm/asmdiff asmdiff]: tool for comparing objdump results
* [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/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
* [https://github.com/davidmalcolm/gcc-build gcc-build]: some scripts to make it easier to hack on GCC


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 00:53, 22 March 2018

David Malcolm

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

  • libgccjit: a branch of GCC allowing it to be built as a shared library for use in Just-In-Time compilation
  • 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
  • gcc-build: some scripts to make it easier to hack on GCC

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: