| Age | Commit message (Expand) | Author |
|---|---|---|
| 2021-07-18 | [analyzer] Handle std::make_unique | Deep Majumder |
| 2021-07-18 | [analyzer] Handle std::swap for std::unique_ptr | Deep Majumder |
| 2020-10-09 | [Analyzer] Fix for dereferece of smart pointer after branching on unknown inn... | Nithin Vadukkumchery Rajendrakumar |
| 2020-08-31 | [analyzer] Add bool operator modeling for unque_ptr | Nithin Vadukkumchery Rajendrakumar |
| 2020-08-31 | [analyzer] Add modeling for unique_ptr move constructor | Nithin Vadukkumchery Rajendrakumar |
| 2020-08-26 | [analyzer] Add modeling of assignment operator in smart ptr | Nithin Vadukkumchery Rajendrakumar |
| 2020-08-23 | [analyzer] Add modeling for unque_ptr::get() | Nithin Vadukkumchery Rajendrakumar |
| 2020-08-19 | [Analysis] Bug fix for exploded graph branching in evalCall for constructor | Nithin Vadukkumchery Rajendrakumar |
| 2020-08-11 | [Analyzer] Support note tags for smart ptr checker | Nithin Vadukkumchery Rajendrakumar |
