CF-753 catch all exceptions for concolic cleanup

[KRRT7]

PR Type

Bug fix

---

Description

• Broaden exception handling during AST parse

• Initialize tree to None on failure

• Remove unused variable before try-block

• Preserve assert transformation fallback

---

Diagram Walkthrough

flowchart LR
  Parse["Parse test suite with AST"] -- "success" --> CanParse["can_parse=True"]
  Parse -- "failure (any exception)" --> Fallback["can_parse=False; tree=None"]
  CanParse -- "transform function bodies" --> Cleanup["Rewrite assert-call compares"]
  Fallback -- "fallback" --> AssertCleanup["AssertCleanup().transform_asserts(...)"]

Loading

File Walkthrough

	Relevant files
Bug fix	concolic_utils.py Robust parse handling with generic exception catch              codeflash/code_utils/concolic_utils.py Catch all exceptions during AST parsing. Set tree = None when parsing fails. Move can_parse = True into try on success. Minor cleanup of redundant code path. +3/-3

---

[github-actions]

PR Reviewer Guide 🔍

Here are some key observations to aid the review process:

⏱️ Estimated effort to review: 2 🔵🔵⚪⚪⚪

🧪 No relevant tests

🔒 No security concerns identified

⚡ Recommended focus areas for review Broad Exception Catching all exceptions during AST parsing may mask unexpected errors (e.g., memory issues or internal bugs). Consider narrowing to known parse-related exceptions or logging the exception for visibility. except Exception: can_parse = False tree = None Unused variable Variable tree is set to None when parsing fails but is never used later; if not needed, avoid assigning it or add a comment explaining future intent. tree = None

[github-actions]

PR Code Suggestions ✨

Explore these optional code suggestions:

Category	Suggestion	Impact
Possible issue	Restrict exception catching Avoid catching all exceptions from ast.parse to prevent masking unexpected runtime issues. Restrict the except clause to SyntaxError so only parse failures fall back to string-based cleanup. codeflash/code_utils/concolic_utils.py [72-78] try: tree = ast.parse(test_suite_code) can_parse = True -except Exception: +except SyntaxError: can_parse = False tree = None Suggestion importance[1-10]: 7 __ Why: The suggestion correctly targets the new broad except Exception block and proposes reverting to except SyntaxError, which reduces masking unrelated errors. Impact is moderate as it affects error handling behavior but may have been intentionally broadened.	Medium
General	Reuse cleanup instance Reuse a single AssertCleanup instance to avoid recompiling regular expressions on every call. Hoist the instance creation outside the conditional for efficiency and consistency. codeflash/code_utils/concolic_utils.py [79-81] +cleaner = AssertCleanup() if not can_parse: - return AssertCleanup().transform_asserts(test_suite_code) + return cleaner.transform_asserts(test_suite_code) Suggestion importance[1-10]: 4 __ Why: The change is a minor optimization to avoid repeated regex compilation and is consistent with current usage. It’s correct but offers limited impact since the function likely isn’t a hot path.	Low