2021-07-26 | Harshvardhan Jha | check_do_while_loop_limit: implements checker for do_while... Signed-off-by: Harshvardhan Jha <harshvardhan.jha@oracle.com> |
commitcommitdifftree |
2021-07-22 | Harshvardhan Jha | bits_clear and bits_set: Track bits cleared and set... Signed-off-by: Harshvardhan Jha <harshvardhan.jha@oracle.com> |
commitcommitdifftree |
2021-07-22 | Harshvardhan Jha | extra: Fix handle_bit_test so that null set condition... Signed-off-by: Harshvardhan Jha <harshvardhan.jha@oracle.com> |
commitcommitdifftree |
2021-07-22 | Harshvardhan Jha | power_of_two: Track variables which are powers of two Signed-off-by: Harshvardhan Jha <harshvardhan.jha@oracle.com> |
commitcommitdifftree |