3 citations · 5 across the 6 of their papers we have counts for
1 paper · 1 filter
Marcel Böhme
Static program analysis today takes an analytical approach which is quite suitable for a well-scoped system. Data- and control-flow is taken into account. Special cases such as poi…