diff --git a/.gitignore b/.gitignore
index 9b9715f21..d220cec8e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -18,5 +18,8 @@ npm/cli-*
 /*.ts
 /*.tsx
 /tasks/transform_conformance/fixtures/*
+/*.ast.txt
+/*.cfg.txt
+/*.dot
 
 .oxc/plugins/**.*
\ No newline at end of file
diff --git a/crates/oxc_semantic/examples/cfg.rs b/crates/oxc_semantic/examples/cfg.rs
new file mode 100644
index 000000000..3e8ecec60
--- /dev/null
+++ b/crates/oxc_semantic/examples/cfg.rs
@@ -0,0 +1,114 @@
+use std::{collections::HashMap, env, path::Path, sync::Arc};
+
+use itertools::Itertools;
+use oxc_allocator::Allocator;
+use oxc_parser::Parser;
+use oxc_semantic::{print_basic_block, SemanticBuilder};
+use oxc_span::SourceType;
+use petgraph::dot::{Config, Dot};
+
+// Instruction:
+// 1. create a `test.js`,
+// 2. run `cargo run -p oxc_semantic --example cfg`
+//    or `just watch "run -p oxc_semantic --example cfg"`
+// 3. observe visualizations of:
+//    - AST (test.ast.txt)
+//    - CFG blocks (test.cfg.txt)
+//    - CFG graph (test.dot)
+
+fn main() -> Result<(), std::io::Error> {
+    let test_file_name = env::args().nth(1).unwrap_or_else(|| "test.js".to_string());
+    let ast_file_name = env::args().nth(1).unwrap_or_else(|| "test.ast.txt".to_string());
+    let cfg_file_name = env::args().nth(1).unwrap_or_else(|| "test.cfg.txt".to_string());
+    let dot_file_name = env::args().nth(1).unwrap_or_else(|| "test.dot".to_string());
+
+    let test_file_path = Path::new(&test_file_name);
+    let ast_file_path = Path::new(&ast_file_name);
+    let cfg_file_path = Path::new(&cfg_file_name);
+    let dot_file_path = Path::new(&dot_file_name);
+
+    let source_text = Arc::new(
+        std::fs::read_to_string(test_file_path)
+            .unwrap_or_else(|_| panic!("{test_file_name} not found")),
+    );
+    let allocator = Allocator::default();
+    let source_type = SourceType::from_path(test_file_path).unwrap();
+    let ret = Parser::new(&allocator, &source_text, source_type).parse();
+
+    let program = allocator.alloc(ret.program);
+    std::fs::write(ast_file_path, format!("{:#?}", &program))?;
+    println!("Wrote AST to: {}", &ast_file_name);
+
+    let semantic = SemanticBuilder::new(&source_text, source_type)
+        .with_check_syntax_error(true)
+        .with_trivias(ret.trivias)
+        .build(program);
+
+    if !semantic.errors.is_empty() {
+        let error_message: String = semantic
+            .errors
+            .into_iter()
+            .map(|error| error.with_source_code(Arc::clone(&source_text)).to_string())
+            .join("\n\n");
+
+        panic!("Semantic analysis failed:\n\n{error_message}",);
+    }
+
+    let mut ast_nodes_by_block = HashMap::<_, Vec<_>>::new();
+    for node in semantic.semantic.nodes().iter() {
+        let block = node.cfg_ix();
+        let block_ix = semantic.semantic.cfg().graph.node_weight(block).unwrap();
+        ast_nodes_by_block.entry(*block_ix).or_default().push(node);
+    }
+
+    let basic_blocks_printed = semantic
+        .semantic
+        .cfg()
+        .basic_blocks
+        .iter()
+        .map(print_basic_block)
+        .enumerate()
+        .map(|(i, it)| {
+            format!(
+                "bb{i}: {{\n{}\n---\n{}\n}}",
+                it.lines().map(|x| format!("\t{}", x.trim())).join("\n"),
+                ast_nodes_by_block
+                    .get(&i)
+                    .map(|nodes| {
+                        nodes.iter().map(|node| format!("{}", node.kind().debug_name())).join("\n")
+                    })
+                    .unwrap_or_default()
+            )
+        })
+        .join("\n\n");
+
+    std::fs::write(cfg_file_path, basic_blocks_printed)?;
+    println!("Wrote CFG blocks to: {}", &cfg_file_name);
+
+    let cfg_dot_diagram = format!(
+        "{:?}",
+        Dot::with_attr_getters(
+            &semantic.semantic.cfg().graph,
+            &[Config::EdgeNoLabel, Config::NodeNoLabel],
+            &|_graph, edge| format!("label = {:?}", edge.weight()),
+            &|_graph, node| format!(
+                "xlabel = {:?}, label = {:?}",
+                format!(
+                    "bb{} [{}]",
+                    node.1,
+                    print_basic_block(&semantic.semantic.cfg().basic_blocks[*node.1],).trim()
+                ),
+                ast_nodes_by_block
+                    .get(node.1)
+                    .map(|nodes| {
+                        nodes.iter().map(|node| format!("{}", node.kind().debug_name())).join("\n")
+                    })
+                    .unwrap_or_default()
+            )
+        )
+    );
+    std::fs::write(dot_file_path, cfg_dot_diagram)?;
+    println!("Wrote CFG dot diagram to: {}", &dot_file_name);
+
+    Ok(())
+}
diff --git a/crates/oxc_semantic/examples/simple.rs b/crates/oxc_semantic/examples/simple.rs
index e3ed731be..5ed9c7af0 100644
--- a/crates/oxc_semantic/examples/simple.rs
+++ b/crates/oxc_semantic/examples/simple.rs
@@ -21,7 +21,6 @@ fn main() {
     let ret = Parser::new(&allocator, &source_text, source_type).parse();
 
     let program = allocator.alloc(ret.program);
-    println!("{:#?}", &program);
 
     let semantic = SemanticBuilder::new(&source_text, source_type)
         .with_check_syntax_error(true)