WIP

This project is a work in progress. The implementation is incomplete and subject to change. The documentation may be inaccurate.

graphs

The graphs project provides subgraph isomorphism search algorithms and related tools.

cmd/iso

iso is a tool which locates subgraph isomorphisms in graphs.

Installation

go get decomp.org/x/graphs/cmd/iso

Usage

Usage: iso [OPTION]... SUB.dot GRAPH.dot

Flags:
  -all=true: Locate all isomorphisms of SUB in GRAPH.

Examples

1) Locate all isomorphisms of the subgraph if.dot in the graph stmt.dot.

iso primitives/if.dot c4_graphs/stmt.dot
// Output:
// Isomorphism of "if" found at node "17":
//    "body"="24"
//    "cond"="17"
//    "exit"="32"
// Isomorphism of "if" found at node "71":
//    "body"="74"
//    "cond"="71"
//    "exit"="75"

SUB:

• if.dot:

GRAPH:

• stmt.dot:

Public domain

The source code and any original content of this repository is hereby released into the public domain.