Repository navigation

Implement `Conversions` rule package - #919

Merged

MichaelRFairhurst merged 90 commits into

mainfrom

lcartey/cpp-conversions

Aug 26, 2025

Commits on Jun 10, 2025
- RULE-7-0-1 - NoConversionFromBool
  lcartey
  committed
  1d2aa2e
- Rule 7.0.1: Address review issues
  lcartey
  committed
  5b810c3
Commits on Jun 11, 2025
- RULE-7-0-2 - NoImplicitBoolConversion
  lcartey
  committed
  62d5dcc
- Rule 7.0.2: Extend test case, support member function pointers
  lcartey
  committed
  f92a2c9
Commits on Jun 12, 2025
- Add Conversions exclusions file
  lcartey
  committed
  b62394a
Commits on Jun 17, 2025
- RULE-7-0-6 - NumericAssignmentTypeMismatch
  lcartey
  committed
  a2c9912
- Rule 7.0.6: Update test with better variable names
  lcartey
  committed
  229705f
- Rule 7.0.6: Fix id-expression detection
  lcartey
  committed
  f870023
- Rule 7.0.6: Support reference types
  lcartey
  committed
  0ed1689
- Rule 7.0.6: Ignore compound expressions
  lcartey
  committed
  778b344
- Rule 7.0.6: Additional function return test cases
  lcartey
  committed
  acfb253
- Rule 7.0.6: Clarify pass-by-value on parameters
  lcartey
  committed
  9dbc39f
- Rule 7.0.6: Add user defined operator tests
  lcartey
  committed
  b310e14
- MISRA C++ 2023: Create StandardConversions library
  lcartey
  committed
  af2ff95
- MISRA C++ StandardConversions - improve detection of bitfield types
  lcartey
  committed
  ea7d168
Commits on Jun 18, 2025
- Rule 7.0.6: Improve bitfield support
  lcartey
  committed
  5843258
- StandardConversions: Improve detection of numeric type category
  lcartey
  committed
  01b517d
- Rule 7.0.6: Add a test case for non-numeric (not covered)
  lcartey
  committed
  06eddfa
- StandardConversions: Handle aggregate initialization
  lcartey
  committed
  a65c4cc
Commits on Jun 19, 2025
- Add a library for determining constant expressions
  lcartey
  committed
  04613cd
- Rule 7.0.6: Use BigInt for constant expressions
  lcartey
  committed
  4be1395
- Rule 7.0.6: add tests for cv-qualified types
  lcartey
  committed
  e87892e
- Rule 7.0.6: Support pointer to member cases
  lcartey
  committed
  916fb3d
- Rule 7.0.6: Support functions with default parameters
  lcartey
  committed
  2ec2814
- Rule 7.0.6: Ignore deleted overloads
  lcartey
  committed
  e659944
- Rule 7.0.6: Refactor overload independent code
  lcartey
  committed
  c0fe44d
- Rule 7.0.6: Move aggregate tests to new file
  lcartey
  committed
  06ffbfb
- Rule 7.0.6: Move operator tests to separate file
  lcartey
  committed
  fc63db1
- Rule 7.0.6: Support constructor field initializers
  lcartey
  committed
  f68658a
- Rule 7.0.6: Handle explicit conversions
  lcartey
  committed
  3fdaa98
Commits on Jun 20, 2025
- Rule 7.0.6: Improve tests for templates
  lcartey
  committed
  063a5cc
- MISRA C++ 2023: Rename StandardConversions library
  lcartey
  committed
  96d5c1b
- Rule 7.0.6: Address performance issues
  lcartey
  committed
  7c5fb87
- Create Call library
  lcartey
  committed
  6ddab35
Commits on Jun 25, 2025
- Extend ios stubs for C++
  lcartey
  committed
  983f256
- RULE-7-11-3 - FunctionPointerConversionContext
  lcartey
  committed
  bb9f5a1
- C++: Improve char_traits stubs
  lcartey
  committed
  2e75310
- Improve C++ stubs for locales
  lcartey
  committed
  4bf8d51
- Extend C++ stubs for locale
  lcartey
  committed
  4d5e35f
- C++: Add optional stubs
  lcartey
  committed
  f2b5410
- Rule 7.0.3: NoCharacterNumericalValue.ql
  lcartey
  committed
  74946cf
Commits on Jun 26, 2025
- RULE-7-0-5 - NoSignednessChangeFromPromotion
  lcartey
  committed
  a2d7ee3
Commits on Jun 27, 2025
- Add sizeOfInt() predicate
  lcartey
  committed
  c25057d
- Rule 7.0.5: Refactor to enable non-Conversions
  lcartey
  committed
  3a8dab1
- Improve detection of integer promotions and usual arithmetic conversions
  lcartey
  committed
  3cf9eac
- Format test case
  lcartey
  committed
  f50baa9
- Rule 7.0.5: Expand test cases
  lcartey
  committed
  a7ce6f5
- Ruley 7.0.5: Support lvalue conversions on assign operations
  lcartey
  committed
  9aed463
- Refactor to use NumericType
  lcartey
  committed
  aac2dc2
- Rule 7.0.5: Add pointer tests (should be ignored)
  lcartey
  committed
  92c7dac
- Rule 7.0.5: Add failing test case
  lcartey
  committed
  4be88a3
Commits on Jul 1, 2025
- Rule 7.0.5: Add test cases for enum conversions
  lcartey
  committed
  f1502d6
- Conversions: Swap some queries around
  lcartey
  committed
  89485d5
Commits on Jul 4, 2025
- RULE-7-0-4 - InappropriateBitwiseOrShiftOperands
  lcartey
  committed
  6845cdc
- Test large and negative constants, use BigInt
  lcartey
  committed
  db58704
Commits on Jul 7, 2025
- Rule 7.0.4: Add support for shift-assignment operators
  lcartey
  committed
  3d2616a
- Rule 7.0.5: Add an implementation_scope
  lcartey
  committed
  05cfc2b
Commits on Aug 18, 2025
- Merge branch 'main' into lcartey/cpp-conversions
  lcartey
  authored
  dd34127
- Rule 7.0.3: Address review feedback
  lcartey
  committed
  1cc458b
- Rule 7.0.1: Address review feedback
  lcartey
  committed
  51938af
- Rule 7.0.2: Address review feedback
  lcartey
  committed
  9bbef6f
Commits on Aug 19, 2025
- Add a utility library for unifying binary ops
  lcartey
  committed
  b20ea88
- Move isSigned/isUnsigned to BuiltInTypes
  lcartey
  committed
  3e2534b
- Rule 7.0.4: Improve reporting
  lcartey
  committed
  1af908a
- Rule 7.0.6: Correctly handle constructor exception
  lcartey
  committed
  cd8c960
- ConstantExpressions: Correct NotExpr to ComplementExpr
  lcartey
  committed
  feccaf7
Commits on Aug 20, 2025
- Make CanonicalIntegerType singular, use it more widely
  lcartey
  committed
  2c0d06b
- CanonicalTypes: refactor library
  lcartey
  committed
  21cf410
- Rule 7.0.5: Limit to `Cast`s and refactor naming
  lcartey
  committed
  bc7bf51
- BuiltInTypeRules: Handle bit fields in switch cases
  lcartey
  committed
  f7cd25e
- Fix CanonicalIntegralType classes
  lcartey
  committed
  2d14c81
Commits on Aug 21, 2025
- BuiltInTypeRules: Rename realType to builtInType
  lcartey
  committed
  9ddf645
- BuiltInTypeRules: Add isSameType API
  lcartey
  committed
  8be7b3c
- BuiltInTypeRules: Rename getRealSize to getBuiltInSize
  lcartey
  committed
  bcf8ae9
- MisraType: Avoid misuse of getSize()
  lcartey
  committed
  94cfcda
- BuiltInTypes: Wrap in MisraCpp23BuiltInTypes module
  lcartey
  committed
  2c97905
- Add TypeCategory suffix
  lcartey
  committed
  5ca11e9
- Update reference to MisraBuiltInTypes
  lcartey
  committed
  6110770
- BuiltInTypes: Refactor bitfield handling
  lcartey
  committed
  8b999e9
- Create MISRA arithmetic conversions library
  lcartey
  committed
  258dadf
- Test case formatting
  lcartey
  committed
  3186c70
- More test case formatting
  lcartey
  committed
  23be3db
- More formatting
  lcartey
  committed
  61ae04f
- Address compilation issue with FunctionType.
  lcartey
  committed
  668e518
- Rule 7.0.2: Use getUnconverted.
  lcartey
  committed
  3575db1
- Rule 7.0.2: Treat nullptr_t as a pointer for this rule
  lcartey
  committed
  0b9e2cb
Commits on Aug 22, 2025
- Rule 7.0.1: Expand test case to cover non_compliant cases
  lcartey
  committed
  8d0bb29
- Rule 7.0.2: Add extra cast test cases
  lcartey
  committed
  96b644e
- Update expected results after formatting
  lcartey
  committed
  189f8c0
- Rule 7.0.3: Split unevaluated operands test case
  lcartey
  committed
  9f46766

Commits

Commits on Jun 10, 2025

Commits on Jun 11, 2025

Commits on Jun 12, 2025

Commits on Jun 17, 2025

Commits on Jun 18, 2025

Commits on Jun 19, 2025

Commits on Jun 20, 2025

Commits on Jun 25, 2025

Commits on Jun 26, 2025

Commits on Jun 27, 2025

Commits on Jul 1, 2025

Commits on Jul 4, 2025

Commits on Jul 7, 2025

Commits on Aug 18, 2025

Commits on Aug 19, 2025

Commits on Aug 20, 2025

Commits on Aug 21, 2025

Commits on Aug 22, 2025