Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix several svace defects #13320

Merged
merged 17 commits into from
Jul 3, 2024
Merged

Conversation

chunseoklee
Copy link
Contributor

This draft contains fixed for svace defects.
(0 critical and 2 major remains in internal svace manager)

chunseoklee and others added 17 commits June 28, 2024 14:34
- fix NO_EFFECT (wid 142733, 142734)

ONE-DCO-1.0-Signed-off-by: Chunseok Lee <[email protected]>
- Fix UNINIT.CTOR (wid 142747)

ONE-DCO-1.0-Signed-off-by: Chunseok Lee <[email protected]>
- fix INTEGER_OVERFLOW (cov 1780901)

ONE-DCO-1.0-Signed-off-by: Chunseok Lee <[email protected]>
- w/o this, axis_data is always positive(uint_8)

ONE-DCO-1.0-Signed-off-by: Chunseok Lee <[email protected]>
- fix UNREACHABLE_CODE.RET ( wid:142758 )

ONE-DCO-1.0-Signed-off-by: Chunseok Lee <[email protected]>
- Fix UNREACHABLE_CODE.RET for wid 142752

ONE-DCO-1.0-Signed-off-by: Chunseok Lee <[email protected]>
- Fix UNREACHABLE_CODE.RET in wid 142753

ONE-DCO-1.0-Signed-off-by: Chunseok Lee <[email protected]>
- fix UNREACHABLE_CODE.RET(142755)

ONE-DCO-1.0-Signed-off-by: Chunseok Lee <[email protected]>
-  fix NO_RETURN_VALUE in wid 142738, 142736

ONE-DCO-1.0-Signed-off-by: Chunseok Lee <[email protected]>
-  fix UNREACHABLE_CODE.RET in wid 142756

ONE-DCO-1.0-Signed-off-by: Chunseok Lee <[email protected]>
- Add missing breaks

ONE-DCO-1.0-Signed-off-by: Chunseok Lee <[email protected]>
- Rmove meaningless null check

ONE-DCO-1.0-Signed-off-by: Chunseok Lee <[email protected]>
- fix UNREACHABLE_CODE.RET(142754)

ONE-DCO-1.0-Signed-off-by: Chunseok Lee <[email protected]>
- fix wid 143587, 143588, 143589

ONE-DCO-1.0-Signed-off-by: Chunseok Lee <[email protected]>
- SIGNED_TO_BIGGER_UNSIGNED (143468, 69, 70, 71, 73, 74)

ONE-DCO-1.0-Signed-off-by: Chunseok Lee <[email protected]>
- Fix wid 142757
- it also fixes cov 1786029

ONE-DCO-1.0-Signed-off-by: Chunseok Lee <[email protected]>
- fix DIVISION_BY_ZERO for wid 142730

ONE-DCO-1.0-Signed-off-by: Chunseok Lee <[email protected]>
@chunseoklee chunseoklee marked this pull request as ready for review July 1, 2024 01:43
@chunseoklee chunseoklee merged commit d97b4ea into Samsung:master Jul 3, 2024
6 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants