Robert Marsh issues

Results 7 issues of


                                            Robert Marsh

C++: Fix missing bounds and performance issues in semantic range analysis

C++

C++: Global value numbering for function calls

This PR adds global value numbering for function calls, taking into account side effects. It also eliminates global side effects for function calls when the function does not use or...

C++

documentation

C++: Experimental product flow library

This library performs a value-flow analysis of pairs of values from a pair of related sources to a pair of related sinks, using two underlying `DataFlow::Configuration`s and a post-analysis on...

C++

C++: experimental interprocedural control flow library

This is an updated version of some previous hackathon work on interprocedural control flow analysis, now using parameterized modules for configuration.

C++

C++: prototype for off-by-one in array-typed field

C++

documentation

C++: Rewrite MemoryNeverFreed to use the DataFlow library

C++

Add HashIntern to allow hashconsing from other types

In particular this enables using `&str` for variable references and only allocating and copying to `String`s when a new entry needs to be added to the consign.