Merge branch 'dev' into dependency-analysis

2 files changed, 60 insertions, 0 deletions

diff --git a/examples/fips_iut_demo.py b/examples/fips_iut_demo.py
new file mode 100755
index 00000000..f19f16e8
--- /dev/null
+++ b/examples/fips_iut_demo.py
@@ -0,0 +1,30 @@
+#!/usr/bin/env python3
+
+import click
+
+from sec_certs.dataset.fips_iut import IUTDataset
+
+
+@click.command()
+@click.argument("directory", type=click.Path(exists=True, file_okay=False))
+@click.argument("output", type=click.Path(dir_okay=False, writable=True))
+def main(directory, output):
+    """
+    Parse FIPS 'Implementation Under Test' pages.
+
+    \b
+    To use, download pages from the URL:
+    https://csrc.nist.gov/Projects/cryptographic-module-validation-program/modules-in-process/IUT-List
+    into a directory `d` and name them `fips_iut_<iso-timestamp>.html`.
+
+    \b
+    Then run:
+      in_process.py fips-iut d output.json
+    to obtain the parsed output in `output.json`.
+    """
+    dataset = IUTDataset.from_dumps(directory)
+    dataset.to_json(output)
+
+
+if __name__ == "__main__":
+    main()
diff --git a/examples/fips_mip_demo.py b/examples/fips_mip_demo.py
new file mode 100755
index 00000000..643ee993
--- /dev/null
+++ b/examples/fips_mip_demo.py
@@ -0,0 +1,30 @@
+#!/usr/bin/env python3
+
+import click
+
+from sec_certs.dataset.fips_mip import MIPDataset
+
+
+@click.command()
+@click.argument("directory", type=click.Path(exists=True, file_okay=False))
+@click.argument("output", type=click.Path(dir_okay=False, writable=True))
+def main(directory, output):
+    """
+    Parse FIPS 'Modules In Process' pages.
+
+    \b
+    To use, download pages from the URL:
+    https://csrc.nist.gov/Projects/cryptographic-module-validation-program/modules-in-process/Modules-In-Process-List
+    into a directory `d` and name them `fips_mip_<iso-timestamp>.html`.
+
+    \b
+    Then run:
+      in_process.py fips-mip d output.json
+    to obtain the parsed output in `output.json`.
+    """
+    dataset = MIPDataset.from_dumps(directory)
+    dataset.to_json(output)
+
+
+if __name__ == "__main__":
+    main()