Lines Matching full:would

18 <p>This page lists several projects that would boost analyzer's usability and 
40     floats: RangeConstraintManager. This would involve adding a new SVal kind
85     ranges. A bitwise constraint manager would model constraints such as "bit 32
86     is known to be 1". This would help code that made use of bitmasks</code>.
99     determined to be equal via comparison. This would allow us to reduce the 
100     number of false positives and would be a building step to more advanced 
118     <p>It would be great to have more code reuse between "Minimal" and 
120     IR for representing path diagnostics, which would be later be used to 
143     <p>We would like to put all analyzer attributes behind a fence so that we 
165     <p>This would require extending the MallocPessimistic checker to reason 
166     about annotated functions. It is strongly desired that one would rely on