Requirements and Specification
System Requirements
No items recorded at this level.
Software Requirements
lobster/tools/cpp/requirements.trlc
TRLC Software_requirement cpp_req.Dummy_Requirement
This is not really a requirement. It will be used only to generate a minimal tracing report for each tool. It can be deleted as soon as all the tools get their real requirements.
Issues:
missing reference to Code
missing reference to Software Test
Build Reference: f8fd7fec387000b9da849c4c0ec20550b9334106 | Timestamp: 2025-08-05 14:16:58+00:00 UTC
TRLC Software_requirement cpp_req.Dummy_Requirement_Unit_Test
This is not really a requirement. It will be used only to generate a minimal tracing report for each tool. It can be deleted as soon as all the tools get their real requirements.
Issues:
missing reference to Code
missing reference to Software Test
Build Reference: f8fd7fec387000b9da849c4c0ec20550b9334106 | Timestamp: 2025-08-05 14:16:58+00:00 UTC
Implementation
Code
lobster/tools/cpp/cpp.py
Python Function cpp.extract_clang_finding_name
Build Reference: f8fd7fec387000b9da849c4c0ec20550b9334106 | Timestamp: 2025-08-05 14:16:58+00:00 UTC
Python Constructor cpp.CppTool.__init__
Build Reference: f8fd7fec387000b9da849c4c0ec20550b9334106 | Timestamp: 2025-08-05 14:16:58+00:00 UTC
Python Method cpp.CppTool._run_impl
Build Reference: f8fd7fec387000b9da849c4c0ec20550b9334106 | Timestamp: 2025-08-05 14:16:58+00:00 UTC
Python Function cpp.main
Build Reference: f8fd7fec387000b9da849c4c0ec20550b9334106 | Timestamp: 2025-08-05 14:16:58+00:00 UTC
lobster/tools/cpp/implementation_builder.py
Python Constructor implementation_builder.ImplementationBuilder.__init__
Build Reference: f8fd7fec387000b9da849c4c0ec20550b9334106 | Timestamp: 2025-08-05 14:16:58+00:00 UTC
Python Method implementation_builder.ImplementationBuilder.from_match_if_new
Build Reference: f8fd7fec387000b9da849c4c0ec20550b9334106 | Timestamp: 2025-08-05 14:16:58+00:00 UTC
Python Method implementation_builder.ImplementationBuilder.from_match
Build Reference: f8fd7fec387000b9da849c4c0ec20550b9334106 | Timestamp: 2025-08-05 14:16:58+00:00 UTC
Python Method implementation_builder.ImplementationBuilder._get_tag
Build Reference: f8fd7fec387000b9da849c4c0ec20550b9334106 | Timestamp: 2025-08-05 14:16:58+00:00 UTC
Python Method implementation_builder.ImplementationBuilder._get_location
Build Reference: f8fd7fec387000b9da849c4c0ec20550b9334106 | Timestamp: 2025-08-05 14:16:58+00:00 UTC
Verification and Validation
System Test
No items recorded at this level.
Software Test
tests_unit/lobster_cpp/test_implementation_builder.py
PyUnit Test test_implementation_builder.ImplementationBuilderTest.test_get_location_from_abs_path:22
Build Reference: f8fd7fec387000b9da849c4c0ec20550b9334106 | Timestamp: 2025-08-05 14:16:58+00:00 UTC
PyUnit Test test_implementation_builder.ImplementationBuilderTest.test_get_location_from_rel_path:31
Build Reference: f8fd7fec387000b9da849c4c0ec20550b9334106 | Timestamp: 2025-08-05 14:16:58+00:00 UTC
PyUnit Test test_implementation_builder.ImplementationBuilderTest.test_get_tag:38
Build Reference: f8fd7fec387000b9da849c4c0ec20550b9334106 | Timestamp: 2025-08-05 14:16:58+00:00 UTC
PyUnit Test test_implementation_builder.ImplementationBuilderTest.test_from_match:57
Build Reference: f8fd7fec387000b9da849c4c0ec20550b9334106 | Timestamp: 2025-08-05 14:16:58+00:00 UTC
PyUnit Test test_implementation_builder.ImplementationBuilderTest.test_from_match_invalid_line_number:88
Build Reference: f8fd7fec387000b9da849c4c0ec20550b9334106 | Timestamp: 2025-08-05 14:16:58+00:00 UTC
PyUnit Test test_implementation_builder.ImplementationBuilderTest.test_from_match_if_new:103
Build Reference: f8fd7fec387000b9da849c4c0ec20550b9334106 | Timestamp: 2025-08-05 14:16:58+00:00 UTC