From 55a0d8a4878c56035a6d5a4c168a8de7d1144ce4 Mon Sep 17 00:00:00 2001 From: Michael Hohn Date: Mon, 17 Mar 2025 19:23:34 -0700 Subject: [PATCH] minor correction --- readme-low-level.org | 22 ++++++++-------------- 1 file changed, 8 insertions(+), 14 deletions(-) diff --git a/readme-low-level.org b/readme-low-level.org index a7eb394..e6c8d16 100644 --- a/readme-low-level.org +++ b/readme-low-level.org @@ -1,13 +1,13 @@ * CodeQL AST in dot and pdf #+BEGIN_SRC sh # Produce ast in dot format - codeql database analyze \ - --format=dot --output=ast.dot \ - -j8 -v --ram=16000 \ - --rerun \ - -- \ - cpp-dataflow-part1-database \ - graphs/ast.ql + codeql database analyze \ + --format=dot --output=ast.dot \ + -j8 -v --ram=16000 \ + --rerun \ + -- \ + cpp-dataflow-part1-database \ + graphs/ast.ql # Convert dot to pdf dot -Tpdf < ast.dot/cpp/print-ast.dot > ast.dot/cpp/print-ast.pdf @@ -17,13 +17,7 @@ # This comes from - unzip -v cpp-dataflow-part1-database/src.zip - # Archive: cpp-dataflow-part1-database/src.zip - # Length Method Size Cmpr Date Time CRC-32 Name - # -------- ------ ------- ---- ---------- ----- -------- ---- - # 3280 Defl:N 880 73% 03-17-2025 08:59 8057b2ea Users/hohn/local/codeql-workshop-dataflow-c/tests-common/test_part1.c - # -------- ------- --- ------- - # 3280 880 73% 1 file + tests-common/test_part1.c #+END_SRC * CodeQL CFG in dot and pdf