List of all items

Structs

• ast::restricted::Function
• ast::restricted::MatchArm
• ast::restricted::Parameter
• ast::restricted::RestrictedAst
• bash_parser::ast::AstMetadata
• bash_parser::ast::BashAst
• bash_parser::ast::BashNode
• bash_parser::ast::Span
• bash_parser::lexer::Lexer
• bash_parser::parser::BashParser
• bash_parser::semantic::AnalysisReport
• bash_parser::semantic::EffectTracker
• bash_parser::semantic::FunctionInfo
• bash_parser::semantic::ScopeInfo
• bash_parser::semantic::SemanticAnalyzer
• bash_parser::semantic::VarInfo
• bash_quality::coverage::CoverageReport
• bash_quality::formatter::Formatter
• bash_quality::formatter_config::FormatterConfig
• bash_quality::scoring::QualityScore
• bash_quality::testing::BashTest
• bash_quality::testing::TestReport
• bash_transpiler::codegen::BashToRashTranspiler
• bash_transpiler::codegen::TranspileOptions
• bash_transpiler::patterns::CommandPattern
• bash_transpiler::patterns::ForPattern
• bash_transpiler::patterns::FunctionPattern
• bash_transpiler::patterns::IfPattern
• bash_transpiler::patterns::VariablePattern
• bash_transpiler::patterns::WhilePattern
• bash_transpiler::purification::PurificationOptions
• bash_transpiler::purification::PurificationReport
• bash_transpiler::purification::Purifier
• cli::args::Cli
• compiler::BinaryCompiler
• compiler::loader::LoaderConfig
• compiler::optimize::BinaryOptimizer
• config::ConfigAnalysis
• config::ConfigIssue
• config::PathEntry
• config::PerformanceIssue
• config::aliaser::AliasDefinition
• config::nondeterminism::NonDeterministicConstruct
• config::quoter::UnquotedVariable
• container::distroless::DistrolessBuilder
• emitter::posix::PosixEmitter
• formal::abstract_state::AbstractState
• formal::emitter::FormalEmitter
• formal::inspector::AnnotatedAst
• formal::inspector::CwdChange
• formal::inspector::CwdComparison
• formal::inspector::EmitterJustification
• formal::inspector::EnvComparison
• formal::inspector::EquivalenceAnalysis
• formal::inspector::ExecutionStep
• formal::inspector::ExecutionTrace
• formal::inspector::ExitCodeComparison
• formal::inspector::FilesystemComparison
• formal::inspector::OutputComparison
• formal::inspector::ProofInspector
• formal::inspector::StateTransformation
• formal::inspector::VerificationReport
• formatter::RashFormatter
• formatter::contract::Contract
• formatter::contract::ContractSystem
• formatter::contract::ContractViolation
• formatter::contract::FunctionSignature
• formatter::contract::Parameter
• formatter::contract::TypeConstraint
• formatter::contract::TypeError
• formatter::contract::TypeInferenceEngine
• formatter::dialect::DialectScorer
• formatter::dialect::InferenceConfidence
• formatter::engine::EngineConfig
• formatter::engine::NormalizationEngine
• formatter::logging::LogMetadata
• formatter::logging::LogStats
• formatter::logging::LogVerificationData
• formatter::logging::MerkleProof
• formatter::logging::MerkleTree
• formatter::logging::TransformEntry
• formatter::logging::TransformLog
• formatter::source_map::BPlusTree
• formatter::source_map::SourceMap
• formatter::source_map::SourceMapBuilder
• formatter::source_map::SourceMapStats
• formatter::source_map::SpanDelta
• formatter::transforms::IntervalSet
• formatter::transforms::SexprProof
• formatter::transforms::TransformId
• formatter::types::BytePos
• formatter::types::CharPos
• formatter::types::CommentMetadata
• formatter::types::ContractMetadata
• formatter::types::FormatConfig
• formatter::types::FormattedSource
• formatter::types::FunctionMetadata
• formatter::types::MappedPosition
• formatter::types::SemanticMetadata
• formatter::types::Span
• formatter::types::VariableMetadata
• ir::effects::EffectSet
• ir::shell_ir::CaseArm
• ir::shell_ir::Command
• linter::autofix::FixOptions
• linter::autofix::FixResult
• linter::diagnostic::Diagnostic
• linter::diagnostic::Fix
• linter::diagnostic::LintResult
• linter::diagnostic::Span
• make_parser::ast::MakeAst
• make_parser::ast::MakeMetadata
• make_parser::ast::Span
• make_parser::error::SourceLocation
• make_parser::purify::PurificationResult
• make_parser::semantic::SemanticIssue
• models::config::Config
• models::diagnostic::Diagnostic
• repl::config::ReplConfig
• repl::state::ReplState
• stdlib::StdlibFunction
• test_generator::core::GeneratedTestSuite
• test_generator::core::TestGenOptions
• test_generator::core::TestGenerator
• test_generator::coverage::BranchId
• test_generator::coverage::CoverageTracker
• test_generator::coverage::QualityReport
• test_generator::doctests::Doctest
• test_generator::doctests::DoctestGenerator
• test_generator::mutation_config::MutationConfig
• test_generator::mutation_config::MutationConfigGenerator
• test_generator::property_tests::PropertyTest
• test_generator::property_tests::PropertyTestGenerator
• test_generator::unit_tests::UnitTest
• test_generator::unit_tests::UnitTestGenerator
• validation::Fix
• validation::ValidatedNode
• validation::ValidationError
• validation::pipeline::ValidationPipeline
• validation::rules::CommandSequence
• validation::rules::CommandSubstitution
• validation::rules::ExitCodeCheck

Enums

• ast::restricted::BinaryOp
• ast::restricted::Expr
• ast::restricted::Literal
• ast::restricted::Pattern
• ast::restricted::Stmt
• ast::restricted::Type
• ast::restricted::UnaryOp
• bash_parser::ast::ArithExpr
• bash_parser::ast::BashExpr
• bash_parser::ast::BashStmt
• bash_parser::ast::TestExpr
• bash_parser::lexer::LexerError
• bash_parser::lexer::Token
• bash_parser::parser::ParseError
• bash_parser::semantic::InferredType
• bash_parser::semantic::SemanticError
• bash_quality::testing::TestResult
• bash_transpiler::TranspileError
• bash_transpiler::purification::PurificationError
• cli::args::AuditOutputFormat
• cli::args::Commands
• cli::args::CompileRuntime
• cli::args::ConfigCommands
• cli::args::ConfigOutputFormat
• cli::args::ContainerFormatArg
• cli::args::CoverageOutputFormat
• cli::args::InspectionFormat
• cli::args::LintFormat
• cli::args::MakeCommands
• cli::args::MakeOutputFormat
• cli::args::ReportFormat
• cli::args::ScoreOutputFormat
• cli::args::TestOutputFormat
• compiler::CompressionLevel
• compiler::RuntimeType
• compiler::StripLevel
• compiler::loader::CompressionType
• config::ConfigType
• config::Severity
• config::nondeterminism::ConstructType
• container::distroless::ContainerFormat
• formal::abstract_state::FileSystemEntry
• formal::inspector::EnvChange
• formal::inspector::FilesystemChange
• formal::inspector::VerificationResult
• formal::tiny_ast::TinyAst
• formatter::contract::ConstraintReason
• formatter::contract::ContractCondition
• formatter::contract::FsConstraint
• formatter::contract::TypeContext
• formatter::contract::TypeErrorKind
• formatter::dialect::BuiltinProfile
• formatter::dialect::Compatibility
• formatter::dialect::CoreDialect
• formatter::dialect::InferenceEvidence
• formatter::dialect::ShellDialect
• formatter::dialect::SyntaxFeature
• formatter::logging::VerificationResult
• formatter::source_map::TokenType
• formatter::transforms::OverflowSemantics
• formatter::transforms::QuoteKind
• formatter::transforms::QuoteReason
• formatter::transforms::QuoteType
• formatter::transforms::SemanticDelta
• formatter::transforms::Transform
• formatter::transforms::WhitespaceContext
• formatter::types::ContractKind
• formatter::types::ShellType
• ir::effects::Effect
• ir::shell_ir::ArithmeticOp
• ir::shell_ir::CasePattern
• ir::shell_ir::ComparisonOp
• ir::shell_ir::ShellExpression
• ir::shell_ir::ShellIR
• ir::shell_ir::ShellValue
• linter::diagnostic::FixSafetyLevel
• linter::diagnostic::Severity
• linter::output::OutputFormat
• make_parser::ast::MakeCondition
• make_parser::ast::MakeItem
• make_parser::ast::VarFlavor
• make_parser::error::MakeParseError
• make_parser::purify::Transformation
• make_parser::semantic::IssueSeverity
• models::config::ShellDialect
• models::config::VerificationLevel
• models::diagnostic::ErrorCategory
• models::error::Error
• repl::modes::ReplMode
• test_generator::core::TestGenError
• test_generator::coverage::BranchType
• test_generator::coverage::UncoveredPath
• test_generator::mutation_config::MutationOperator
• test_generator::property_tests::Generator
• test_generator::property_tests::Property
• test_generator::unit_tests::Assertion
• validation::Severity
• validation::ValidationLevel
• validation::rules::ComparisonOp
• validation::rules::ConditionalExpression
• validation::rules::FileTestOp
• validation::rules::SubstitutionContext
• validation::rules::VariableExpansion

Traits

• ast::visitor::Visitor
• ast::visitor::VisitorMut
• formatter::PreflightFormatter
• validation::ShellCheckValidation
• validation::Validate

Functions

• ast::validate
• ast::visitor::transform_exprs
• ast::visitor::walk_ast
• bash_quality::coverage::generate_coverage
• bash_quality::scoring::score_script
• bash_quality::testing::discover_tests
• bash_quality::testing::run_tests
• check
• cli::commands::execute_command
• compiler::create_self_extracting_script
• compiler::loader::decompress_zstd_minimal
• compiler::loader::generate_loader_code
• compiler::optimize::size_linker_flags
• compiler::optimize::size_optimization_flags
• config::aliaser::analyze_aliases
• config::aliaser::consolidate_aliases
• config::aliaser::detect_duplicate_aliases
• config::analyzer::analyze_config
• config::deduplicator::analyze_path_entries
• config::deduplicator::deduplicate_path_entries
• config::deduplicator::detect_duplicate_paths
• config::nondeterminism::analyze_nondeterminism
• config::nondeterminism::detect_nondeterminism
• config::nondeterminism::remove_nondeterminism
• config::purifier::purify_config
• config::quoter::analyze_unquoted_variables
• config::quoter::detect_unquoted_variables
• config::quoter::quote_variables
• container::distroless::generate_build_dockerfile
• emitter::emit
• emitter::escape::escape_command_name
• emitter::escape::escape_shell_string
• emitter::escape::escape_variable_name
• emitter::escape::shell_escape
• formal::emitter::verify_semantic_equivalence
• formal::semantics::posix_semantics::eval_posix
• formal::semantics::rash_semantics::eval_command
• formal::semantics::rash_semantics::eval_rash
• formatter::dialect::check_compatibility
• ir::effects::analyze_command_effects
• ir::from_ast
• ir::optimize
• linter::autofix::apply_fixes
• linter::autofix::apply_fixes_to_file
• linter::make_preprocess::preprocess_for_linting
• linter::output::write_results
• linter::rules::det001::check
• linter::rules::det002::check
• linter::rules::det003::check
• linter::rules::idem001::check
• linter::rules::idem002::check
• linter::rules::idem003::check
• linter::rules::lint_makefile
• linter::rules::lint_shell
• linter::rules::make001::check
• linter::rules::make002::check
• linter::rules::make003::check
• linter::rules::make004::check
• linter::rules::make005::check
• linter::rules::make006::check
• linter::rules::make007::check
• linter::rules::make008::check
• linter::rules::make009::check
• linter::rules::make010::check
• linter::rules::make011::check
• linter::rules::make012::check
• linter::rules::make013::check
• linter::rules::make014::check
• linter::rules::make015::check
• linter::rules::make016::check
• linter::rules::make017::check
• linter::rules::make018::check
• linter::rules::make019::check
• linter::rules::make020::check
• linter::rules::sc2001::check
• linter::rules::sc2002::check
• linter::rules::sc2003::check
• linter::rules::sc2004::check
• linter::rules::sc2005::check
• linter::rules::sc2006::check
• linter::rules::sc2007::check
• linter::rules::sc2015::check
• linter::rules::sc2016::check
• linter::rules::sc2017::check
• linter::rules::sc2018::check
• linter::rules::sc2019::check
• linter::rules::sc2020::check
• linter::rules::sc2021::check
• linter::rules::sc2022::check
• linter::rules::sc2023::check
• linter::rules::sc2024::check
• linter::rules::sc2025::check
• linter::rules::sc2026::check
• linter::rules::sc2027::check
• linter::rules::sc2028::check
• linter::rules::sc2029::check
• linter::rules::sc2030::check
• linter::rules::sc2031::check
• linter::rules::sc2032::check
• linter::rules::sc2033::check
• linter::rules::sc2034::check
• linter::rules::sc2035::check
• linter::rules::sc2036::check
• linter::rules::sc2037::check
• linter::rules::sc2038::check
• linter::rules::sc2039::check
• linter::rules::sc2040::check
• linter::rules::sc2041::check
• linter::rules::sc2042::check
• linter::rules::sc2043::check
• linter::rules::sc2044::check
• linter::rules::sc2045::check
• linter::rules::sc2046::check
• linter::rules::sc2047::check
• linter::rules::sc2048::check
• linter::rules::sc2049::check
• linter::rules::sc2050::check
• linter::rules::sc2051::check
• linter::rules::sc2052::check
• linter::rules::sc2053::check
• linter::rules::sc2054::check
• linter::rules::sc2055::check
• linter::rules::sc2056::check
• linter::rules::sc2057::check
• linter::rules::sc2059::check
• linter::rules::sc2060::check
• linter::rules::sc2061::check
• linter::rules::sc2062::check
• linter::rules::sc2063::check
• linter::rules::sc2064::check
• linter::rules::sc2065::check
• linter::rules::sc2066::check
• linter::rules::sc2067::check
• linter::rules::sc2068::check
• linter::rules::sc2069::check
• linter::rules::sc2070::check
• linter::rules::sc2071::check
• linter::rules::sc2072::check
• linter::rules::sc2073::check
• linter::rules::sc2074::check
• linter::rules::sc2075::check
• linter::rules::sc2076::check
• linter::rules::sc2077::check
• linter::rules::sc2078::check
• linter::rules::sc2079::check
• linter::rules::sc2080::check
• linter::rules::sc2081::check
• linter::rules::sc2082::check
• linter::rules::sc2083::check
• linter::rules::sc2084::check
• linter::rules::sc2085::check
• linter::rules::sc2086::check
• linter::rules::sc2087::check
• linter::rules::sc2088::check
• linter::rules::sc2089::check
• linter::rules::sc2090::check
• linter::rules::sc2091::check
• linter::rules::sc2092::check
• linter::rules::sc2093::check
• linter::rules::sc2094::check
• linter::rules::sc2095::check
• linter::rules::sc2096::check
• linter::rules::sc2097::check
• linter::rules::sc2098::check
• linter::rules::sc2099::check
• linter::rules::sc2100::check
• linter::rules::sc2101::check
• linter::rules::sc2102::check
• linter::rules::sc2103::check
• linter::rules::sc2104::check
• linter::rules::sc2105::check
• linter::rules::sc2106::check
• linter::rules::sc2107::check
• linter::rules::sc2108::check
• linter::rules::sc2109::check
• linter::rules::sc2110::check
• linter::rules::sc2111::check
• linter::rules::sc2112::check
• linter::rules::sc2113::check
• linter::rules::sc2114::check
• linter::rules::sc2115::check
• linter::rules::sc2116::check
• linter::rules::sc2117::check
• linter::rules::sc2118::check
• linter::rules::sc2121::check
• linter::rules::sc2122::check
• linter::rules::sc2123::check
• linter::rules::sc2124::check
• linter::rules::sc2125::check
• linter::rules::sc2126::check
• linter::rules::sc2127::check
• linter::rules::sc2128::check
• linter::rules::sc2129::check
• linter::rules::sc2130::check
• linter::rules::sc2131::check
• linter::rules::sc2132::check
• linter::rules::sc2133::check
• linter::rules::sc2134::check
• linter::rules::sc2135::check
• linter::rules::sc2136::check
• linter::rules::sc2137::check
• linter::rules::sc2138::check
• linter::rules::sc2139::check
• linter::rules::sc2140::check
• linter::rules::sc2141::check
• linter::rules::sc2142::check
• linter::rules::sc2143::check
• linter::rules::sc2144::check
• linter::rules::sc2145::check
• linter::rules::sc2146::check
• linter::rules::sc2147::check
• linter::rules::sc2148::check
• linter::rules::sc2149::check
• linter::rules::sc2150::check
• linter::rules::sc2151::check
• linter::rules::sc2152::check
• linter::rules::sc2153::check
• linter::rules::sc2154::check
• linter::rules::sc2155::check
• linter::rules::sc2156::check
• linter::rules::sc2157::check
• linter::rules::sc2158::check
• linter::rules::sc2159::check
• linter::rules::sc2160::check
• linter::rules::sc2161::check
• linter::rules::sc2162::check
• linter::rules::sc2163::check
• linter::rules::sc2164::check
• linter::rules::sc2165::check
• linter::rules::sc2166::check
• linter::rules::sc2167::check
• linter::rules::sc2168::check
• linter::rules::sc2169::check
• linter::rules::sc2170::check
• linter::rules::sc2171::check
• linter::rules::sc2172::check
• linter::rules::sc2173::check
• linter::rules::sc2174::check
• linter::rules::sc2175::check
• linter::rules::sc2176::check
• linter::rules::sc2177::check
• linter::rules::sc2178::check
• linter::rules::sc2179::check
• linter::rules::sc2180::check
• linter::rules::sc2181::check
• linter::rules::sc2182::check
• linter::rules::sc2183::check
• linter::rules::sc2184::check
• linter::rules::sc2185::check
• linter::rules::sc2186::check
• linter::rules::sc2187::check
• linter::rules::sc2188::check
• linter::rules::sc2189::check
• linter::rules::sc2190::check
• linter::rules::sc2191::check
• linter::rules::sc2192::check
• linter::rules::sc2193::check
• linter::rules::sc2194::check
• linter::rules::sc2195::check
• linter::rules::sc2196::check
• linter::rules::sc2197::check
• linter::rules::sc2198::check
• linter::rules::sc2199::check
• linter::rules::sc2200::check
• linter::rules::sc2201::check
• linter::rules::sc2202::check
• linter::rules::sc2203::check
• linter::rules::sc2204::check
• linter::rules::sc2205::check
• linter::rules::sc2206::check
• linter::rules::sc2207::check
• linter::rules::sc2208::check
• linter::rules::sc2209::check
• linter::rules::sc2210::check
• linter::rules::sc2211::check
• linter::rules::sc2212::check
• linter::rules::sc2213::check
• linter::rules::sc2214::check
• linter::rules::sc2215::check
• linter::rules::sc2216::check
• linter::rules::sc2217::check
• linter::rules::sc2218::check
• linter::rules::sc2219::check
• linter::rules::sc2220::check
• linter::rules::sc2221::check
• linter::rules::sc2222::check
• linter::rules::sc2223::check
• linter::rules::sc2224::check
• linter::rules::sc2225::check
• linter::rules::sc2226::check
• linter::rules::sc2227::check
• linter::rules::sc2228::check
• linter::rules::sc2229::check
• linter::rules::sc2230::check
• linter::rules::sc2231::check
• linter::rules::sc2232::check
• linter::rules::sc2233::check
• linter::rules::sc2234::check
• linter::rules::sc2235::check
• linter::rules::sc2236::check
• linter::rules::sc2237::check
• linter::rules::sc2238::check
• linter::rules::sc2239::check
• linter::rules::sc2240::check
• linter::rules::sc2241::check
• linter::rules::sc2242::check
• linter::rules::sc2243::check
• linter::rules::sc2244::check
• linter::rules::sc2245::check
• linter::rules::sc2246::check
• linter::rules::sc2247::check
• linter::rules::sc2248::check
• linter::rules::sc2249::check
• linter::rules::sc2250::check
• linter::rules::sc2251::check
• linter::rules::sc2252::check
• linter::rules::sc2253::check
• linter::rules::sc2254::check
• linter::rules::sc2255::check
• linter::rules::sc2256::check
• linter::rules::sc2257::check
• linter::rules::sc2258::check
• linter::rules::sc2259::check
• linter::rules::sc2260::check
• linter::rules::sc2261::check
• linter::rules::sc2262::check
• linter::rules::sc2263::check
• linter::rules::sc2264::check
• linter::rules::sc2265::check
• linter::rules::sc2266::check
• linter::rules::sc2267::check
• linter::rules::sc2268::check
• linter::rules::sc2269::check
• linter::rules::sc2270::check
• linter::rules::sc2271::check
• linter::rules::sc2272::check
• linter::rules::sc2273::check
• linter::rules::sc2274::check
• linter::rules::sc2275::check
• linter::rules::sc2276::check
• linter::rules::sc2277::check
• linter::rules::sc2278::check
• linter::rules::sc2279::check
• linter::rules::sc2280::check
• linter::rules::sc2281::check
• linter::rules::sc2282::check
• linter::rules::sc2283::check
• linter::rules::sc2284::check
• linter::rules::sc2285::check
• linter::rules::sc2286::check
• linter::rules::sc2287::check
• linter::rules::sc2288::check
• linter::rules::sc2289::check
• linter::rules::sc2290::check
• linter::rules::sc2291::check
• linter::rules::sc2292::check
• linter::rules::sc2293::check
• linter::rules::sc2294::check
• linter::rules::sc2295::check
• linter::rules::sc2296::check
• linter::rules::sc2297::check
• linter::rules::sc2298::check
• linter::rules::sc2299::check
• linter::rules::sc2300::check
• linter::rules::sc2301::check
• linter::rules::sc2302::check
• linter::rules::sc2303::check
• linter::rules::sc2304::check
• linter::rules::sc2305::check
• linter::rules::sc2306::check
• linter::rules::sc2307::check
• linter::rules::sc2308::check
• linter::rules::sc2309::check
• linter::rules::sc2310::check
• linter::rules::sc2311::check
• linter::rules::sc2312::check
• linter::rules::sc2313::check
• linter::rules::sc2314::check
• linter::rules::sc2315::check
• linter::rules::sc2316::check
• linter::rules::sc2317::check
• linter::rules::sc2318::check
• linter::rules::sc2319::check
• linter::rules::sc2320::check
• linter::rules::sc2321::check
• linter::rules::sc2322::check
• linter::rules::sc2323::check
• linter::rules::sc2324::check
• linter::rules::sc2325::check
• linter::rules::sec001::check
• linter::rules::sec002::check
• linter::rules::sec003::check
• linter::rules::sec004::check
• linter::rules::sec005::check
• linter::rules::sec006::check
• linter::rules::sec007::check
• linter::rules::sec008::check
• make_parser::generators::generate_purified_makefile
• make_parser::parser::extract_function_calls
• make_parser::parser::parse_makefile
• make_parser::purify::purify_makefile
• make_parser::semantic::analyze_makefile
• make_parser::semantic::detect_random
• make_parser::semantic::detect_shell_date
• make_parser::semantic::detect_shell_find
• make_parser::semantic::detect_wildcard
• make_parser::semantic::is_common_phony_target
• repl::linter::format_lint_results
• repl::linter::lint_bash
• repl::parser::format_parse_error
• repl::parser::parse_bash
• repl::purifier::format_purification_report
• repl::purifier::purify_bash
• repl::run_repl
• services::parser::parse
• stdlib::get_shell_function_name
• stdlib::is_stdlib_function
• transpile
• validation::rules::validate_all
• validation::rules::validate_backticks
• validation::rules::validate_cd_usage
• validation::rules::validate_glob_pattern
• validation::rules::validate_read_command
• validation::rules::validate_unicode_quotes
• validation::validate_shell_snippet
• verifier::properties::verify_deterministic
• verifier::properties::verify_idempotency
• verifier::properties::verify_no_command_injection
• verifier::properties::verify_resource_safety
• verifier::verify

Type Aliases

• bash_parser::parser::ParseResult
• bash_parser::semantic::SemanticResult
• bash_transpiler::TranspileResult
• bash_transpiler::purification::PurificationResult
• formal::semantics::EvalResult
• models::error::RashError
• models::error::RashResult
• models::error::Result
• test_generator::core::TestGenResult

Constants

• formal::tiny_ast::ALLOWED_COMMANDS
• stdlib::STDLIB_FUNCTIONS
• validation::IMPLEMENTED_RULES