LICENSE
README.md
pyproject.toml
frame/__init__.py
frame/__main__.py
frame/cli.py
frame/analysis/__init__.py
frame/analysis/footprint.py
frame/analysis/formula.py
frame/analysis/predicate_matching.py
frame/analysis/unification.py
frame/arithmetic/__init__.py
frame/arithmetic/check.py
frame/arithmetic/synth.py
frame/checking/__init__.py
frame/checking/_checker_core.py
frame/checking/_disjunct_handling.py
frame/checking/_formula_helpers.py
frame/checking/_frame_inference.py
frame/checking/_ls_heuristics.py
frame/checking/_satisfiability_check.py
frame/checking/_unification_matching.py
frame/checking/checker.py
frame/checking/footprint_check.py
frame/checking/frame_inference.py
frame/checking/heuristics.py
frame/checking/incorrectness.py
frame/checking/s2s_normalized.py
frame/core/__init__.py
frame/core/_ast_arrays_bitvecs.py
frame/core/_ast_base.py
frame/core/_ast_errors.py
frame/core/_ast_expressions.py
frame/core/_ast_pure.py
frame/core/_ast_quantifiers.py
frame/core/_ast_security.py
frame/core/_ast_spatial.py
frame/core/_ast_strings.py
frame/core/_lexer.py
frame/core/_parser_helpers.py
frame/core/ast.py
frame/core/parser.py
frame/encoding/__init__.py
frame/encoding/_bitvec.py
frame/encoding/_pure.py
frame/encoding/_pure_core.py
frame/encoding/_spatial.py
frame/encoding/_spatial_core.py
frame/encoding/_string.py
frame/encoding/_wand.py
frame/encoding/_wand_sat_encoding.py
frame/encoding/_wand_utils.py
frame/encoding/debug_dump.py
frame/encoding/encoder.py
frame/encoding/regex_parser.py
frame/folding/__init__.py
frame/folding/_goal_directed_helpers.py
frame/folding/apply.py
frame/folding/blind.py
frame/folding/bud.py
frame/folding/cyclic_unfold.py
frame/folding/goal_directed.py
frame/folding/hierarchical.py
frame/folding/utils.py
frame/folding/verify.py
frame/heap/__init__.py
frame/heap/_fold_proposals.py
frame/heap/_heap_types.py
frame/heap/graph.py
frame/heap/graph_analysis.py
frame/lemmas/__init__.py
frame/lemmas/_lemma_application.py
frame/lemmas/_matcher.py
frame/lemmas/_substitution.py
frame/lemmas/base.py
frame/lemmas/compositional.py
frame/lemmas/dll_lemmas.py
frame/lemmas/list_lemmas.py
frame/lemmas/other_lemmas.py
frame/lemmas/taint_lemmas.py
frame/lemmas/validator.py
frame/lemmas/wand_lemmas.py
frame/predicates/__init__.py
frame/predicates/base.py
frame/predicates/base_registry.py
frame/predicates/dll_predicates.py
frame/predicates/list_predicates.py
frame/predicates/lsso_predicates.py
frame/predicates/parsed.py
frame/predicates/registry.py
frame/predicates/skiplist_predicates.py
frame/predicates/sorted_predicates.py
frame/predicates/tree_predicates.py
frame/preprocessing/__init__.py
frame/preprocessing/equality.py
frame/sil/__init__.py
frame/sil/changes.py
frame/sil/cli.py
frame/sil/cwe_taxonomy.py
frame/sil/fingerprints.py
frame/sil/framework_evidence.py
frame/sil/hardening.py
frame/sil/instructions.py
frame/sil/llm_agent.py
frame/sil/llm_client.py
frame/sil/llm_detect.py
frame/sil/llm_exploit.py
frame/sil/llm_fix.py
frame/sil/llm_triage.py
frame/sil/loop_exit.py
frame/sil/metadata.py
frame/sil/procedure.py
frame/sil/project.py
frame/sil/scanner.py
frame/sil/source_facts.py
frame/sil/suppressions.py
frame/sil/templates.py
frame/sil/translator.py
frame/sil/types.py
frame/sil/verify.py
frame/sil/analyzers/__init__.py
frame/sil/analyzers/csharp_interprocedural_taint.py
frame/sil/analyzers/function_summary.py
frame/sil/analyzers/interprocedural_analyzer.py
frame/sil/analyzers/interprocedural_taint.py
frame/sil/analyzers/memory_safety.py
frame/sil/analyzers/path_sensitive_analyzer.py
frame/sil/analyzers/semantic_patterns.py
frame/sil/analyzers/sl_memory_analyzer.py
frame/sil/analyzers/sl_semantic_analyzer.py
frame/sil/analyzers/ts_function_summarizer.py
frame/sil/frontends/__init__.py
frame/sil/frontends/_literal_fields.py
frame/sil/frontends/_python_types.py
frame/sil/frontends/c_frontend.py
frame/sil/frontends/csharp_frontend.py
frame/sil/frontends/java_frontend.py
frame/sil/frontends/javascript_frontend.py
frame/sil/frontends/python_frontend.py
frame/sil/packs/__init__.py
frame/sil/packs/apply.py
frame/sil/packs/cli.py
frame/sil/packs/loader.py
frame/sil/packs/schema.py
frame/sil/packs/data/c/civetweb.toml
frame/sil/packs/data/c/fastcgi.toml
frame/sil/packs/data/c/libarchive.toml
frame/sil/packs/data/c/libcurl.toml
frame/sil/packs/data/c/libmicrohttpd.toml
frame/sil/packs/data/c/libxml2.toml
frame/sil/packs/data/c/mongoose.toml
frame/sil/packs/data/c/openssl.toml
frame/sil/packs/data/cpp/boost-asio-beast.toml
frame/sil/packs/data/cpp/cpp-httplib.toml
frame/sil/packs/data/cpp/crow.toml
frame/sil/packs/data/cpp/grpc.toml
frame/sil/packs/data/cpp/qt.toml
frame/sil/packs/data/cpp/sql-clients.toml
frame/sil/packs/data/csharp/aspnet-classic.toml
frame/sil/packs/data/csharp/aspnetcore-minimal.toml
frame/sil/packs/data/csharp/aspnetcore.toml
frame/sil/packs/data/csharp/azure-functions.toml
frame/sil/packs/data/csharp/dapper.toml
frame/sil/packs/data/csharp/dotnet-system.toml
frame/sil/packs/data/csharp/entity-framework.toml
frame/sil/packs/data/csharp/entity-framework6.toml
frame/sil/packs/data/csharp/grpc.toml
frame/sil/packs/data/csharp/nhibernate.toml
frame/sil/packs/data/csharp/wcf.toml
frame/sil/packs/data/java/deserialization.toml
frame/sil/packs/data/java/hibernate-jpa.toml
frame/sil/packs/data/java/http-clients.toml
frame/sil/packs/data/java/javalin.toml
frame/sil/packs/data/java/jaxrs.toml
frame/sil/packs/data/java/jdk-core.toml
frame/sil/packs/data/java/jooq.toml
frame/sil/packs/data/java/jsf.toml
frame/sil/packs/data/java/micronaut.toml
frame/sil/packs/data/java/play.toml
frame/sil/packs/data/java/sparkjava.toml
frame/sil/packs/data/java/spring.toml
frame/sil/packs/data/java/struts2.toml
frame/sil/packs/data/java/template-engines.toml
frame/sil/packs/data/java/vertx-web.toml
frame/sil/packs/data/javascript/angular.toml
frame/sil/packs/data/javascript/aws-lambda.toml
frame/sil/packs/data/javascript/electron.toml
frame/sil/packs/data/javascript/fastify.toml
frame/sil/packs/data/javascript/graphql.toml
frame/sil/packs/data/javascript/hapi.toml
frame/sil/packs/data/javascript/http-clients.toml
frame/sil/packs/data/javascript/koa.toml
frame/sil/packs/data/javascript/nextjs.toml
frame/sil/packs/data/javascript/node-core.toml
frame/sil/packs/data/javascript/react-dom.toml
frame/sil/packs/data/javascript/redis.toml
frame/sil/packs/data/javascript/restify.toml
frame/sil/packs/data/javascript/sails.toml
frame/sil/packs/data/javascript/sanitizers.toml
frame/sil/packs/data/javascript/socketio.toml
frame/sil/packs/data/javascript/sql-drivers.toml
frame/sil/packs/data/javascript/template-engines.toml
frame/sil/packs/data/javascript/typeorm.toml
frame/sil/packs/data/python/aiohttp.toml
frame/sil/packs/data/python/asyncpg.toml
frame/sil/packs/data/python/bottle.toml
frame/sil/packs/data/python/builtins.toml
frame/sil/packs/data/python/cherrypy.toml
frame/sil/packs/data/python/django-rest-framework.toml
frame/sil/packs/data/python/django.toml
frame/sil/packs/data/python/falcon.toml
frame/sil/packs/data/python/fastapi.toml
frame/sil/packs/data/python/flask-extensions.toml
frame/sil/packs/data/python/http-clients.toml
frame/sil/packs/data/python/process-execution.toml
frame/sil/packs/data/python/pymongo.toml
frame/sil/packs/data/python/pyramid.toml
frame/sil/packs/data/python/sanic.toml
frame/sil/packs/data/python/sql-libraries.toml
frame/sil/packs/data/python/templates.toml
frame/sil/packs/data/python/tornado.toml
frame/sil/specs/__init__.py
frame/sil/specs/c_specs.py
frame/sil/specs/csharp_specs.py
frame/sil/specs/java_specs.py
frame/sil/specs/javascript_specs.py
frame/sil/specs/python_specs.py
frame/utils/__init__.py
frame/utils/_normalization.py
frame/utils/formula_utils.py
frame/utils/frame_rule.py
frame/utils/proof_state.py
frame/utils/satisfiability.py
frame_security.egg-info/PKG-INFO
frame_security.egg-info/SOURCES.txt
frame_security.egg-info/dependency_links.txt
frame_security.egg-info/entry_points.txt
frame_security.egg-info/requires.txt
frame_security.egg-info/top_level.txt
tests/test_agent_compaction.py
tests/test_arithmetic_check.py
tests/test_arithmetic_lemmas.py
tests/test_arithmetic_synth.py
tests/test_array_regression.py
tests/test_array_theory.py
tests/test_base_computation.py
tests/test_base_guided_folding.py
tests/test_basic.py
tests/test_benchmark_failures.py
tests/test_benchmark_refactoring.py
tests/test_biabduction.py
tests/test_bitvector_advanced.py
tests/test_bitvector_operations.py
tests/test_bitvector_theory.py
tests/test_c_buffer_bounds.py
tests/test_c_control_flow_and_uninit.py
tests/test_c_heap_lifecycle.py
tests/test_c_null_path_facts.py
tests/test_c_numeric_defects.py
tests/test_c_ownership_lifetime.py
tests/test_c_recall.py
tests/test_call_sanitization_intersection.py
tests/test_canonical_metadata.py
tests/test_cli.py
tests/test_cli_exploit.py
tests/test_cli_frame_entrypoint_excludes.py
tests/test_cli_no_default_excludes.py
tests/test_cli_sarif_flags.py
tests/test_compose.py
tests/test_cross_file_taint.py
tests/test_cross_theory_integration.py
tests/test_cwe134_format_string.py
tests/test_cwe190_detection.py
tests/test_cwe321.py
tests/test_cwe369_divide_by_zero.py
tests/test_cwe476_detection.py
tests/test_cwe78_detection.py
tests/test_cwe_122_124.py
tests/test_cwe_126_127.py
tests/test_cwe_taxonomy.py
tests/test_cyclic_proof_improvements.py
tests/test_edge_cases.py
tests/test_encoder_checker.py
tests/test_endor_corpus.py
tests/test_equality_preprocessing_core.py
tests/test_equality_preprocessing_integration.py
tests/test_feasibility_guard_polarity.py
tests/test_fix_batch_verify.py
tests/test_fold_proposals.py
tests/test_folding_analysis.py
tests/test_folding_blind.py
tests/test_folding_utils.py
tests/test_footprint_core.py
tests/test_footprint_integration.py
tests/test_frame_abduction_integration.py
tests/test_frame_extraction_abduction.py
tests/test_frame_rule.py
tests/test_frame_rule_completeness.py
tests/test_framework.py
tests/test_generated_source.py
tests/test_hardening.py
tests/test_heap_graph.py
tests/test_heap_graph_analysis.py
tests/test_heap_graph_simple.py
tests/test_heap_lifecycle.py
tests/test_incorrectness_bugs.py
tests/test_incorrectness_integration.py
tests/test_incremental_scan.py
tests/test_interprocedural_taint.py
tests/test_java_cross_file.py
tests/test_java_declared_types.py
tests/test_java_frontend_lowering.py
tests/test_join_path_conditions.py
tests/test_js_framework_frontend.py
tests/test_js_recall.py
tests/test_js_recursion_precision.py
tests/test_language_frontends.py
tests/test_lemma_matcher_core.py
tests/test_lemma_matcher_integration.py
tests/test_lemma_substitution_core.py
tests/test_lemma_substitution_integration.py
tests/test_lists.py
tests/test_llm_client.py
tests/test_llm_detect.py
tests/test_llm_exploit.py
tests/test_llm_fix.py
tests/test_llm_integration.py
tests/test_llm_triage.py
tests/test_ls_composition_sat.py
tests/test_ls_heuristics.py
tests/test_memory_safety_cwes.py
tests/test_negative.py
tests/test_overlapping_segments.py
tests/test_overloaded_procedures.py
tests/test_packaging.py
tests/test_parsed_predicates.py
tests/test_parser_operators.py
tests/test_parser_regressions.py
tests/test_path_feasibility.py
tests/test_predicate_matching.py
tests/test_predicates.py
tests/test_pure_reasoning.py
tests/test_python_recall.py
tests/test_regex_parser.py
tests/test_repo_root_wiring.py
tests/test_repo_scale_detect.py
tests/test_resource_exhaustion.py
tests/test_s2s_normalization.py
tests/test_sat_regressions.py
tests/test_scan_directory_excludes.py
tests/test_scan_reporting.py
tests/test_secret_value_shape.py
tests/test_sil_scanner.py
tests/test_sink_kind_resolution.py
tests/test_sink_receiver_precision.py
tests/test_skiplist_predicates.py
tests/test_slcomp_bsl_sat.py
tests/test_slcomp_qf_bsl_sat.py
tests/test_slcomp_qf_bsllia_sat.py
tests/test_slcomp_qf_shid_entl.py
tests/test_slcomp_qf_shid_sat.py
tests/test_slcomp_qf_shidlia_entl.py
tests/test_slcomp_qf_shidlia_sat.py
tests/test_slcomp_qf_shlid_entl.py
tests/test_slcomp_qf_shls_entl.py
tests/test_slcomp_qf_shls_sat.py
tests/test_slcomp_shid_entl.py
tests/test_slcomp_shidlia_entl.py
tests/test_soundness_regressions.py
tests/test_spatial_basic.py
tests/test_specialized_predicates.py
tests/test_string_ast.py
tests/test_string_encoding.py
tests/test_string_parser.py
tests/test_suppressions_config.py
tests/test_template_aware_render.py
tests/test_trees.py
tests/test_unchecked_return.py
tests/test_unification.py
tests/test_vulnerability_injection.py
tests/test_vulnerability_taint.py
tests/test_wand.py
tests/test_wand_sat_encoding.py
tests/test_weak_hash_usedforsecurity.py