Hey,
Anyway, I guess I'll elaborate a bit on what I've been doing with data flow
(ish) stuff. Basically I am looking at building a def use graph for each
variable (as I mentioned in my last email). The problems seem to come with
loops and with var vars, evals, and includes (I also haven't
Hi Graham,
Sorry for taking so long getting back to you. I'll reply to both your
mails in one.
On Mon, Jun 29, 2009 at 9:37 PM, Graham Kellygrah...@facebook.com wrote:
Anyway, I’ve been looking into building a fairly simple def-use system where
I build a graph for each variable in the function
Hey Graham,
Sorry for the delay, I meant to send this over the weekend.
On Thu, Jun 25, 2009 at 2:50 AM, Paul Biggarpaul.big...@gmail.com wrote:
When I say model, I mean that we abstractly interpret the program.
Its like we're interpreting it, but we don't have the actual values,
so we model
Hey Paul,
As always, great information!
Anyway, I've been looking into building a fairly simple def-use system where I
build a graph for each variable in the function local scope (each CV, TMP_VAR,
and VAR). What I'm doing is building a local graph for each variable in each
basic block and
So we do whole program analysis. We start at the first statement in
global scope, model it, then add all its successor to a queue, and
keep modelling until we get to the end of the program. When we get to
a method call, we start modelling the execution of the method. At the
end of the method, we
Hi Nuno,
On Thu, Jun 25, 2009 at 9:08 PM, Nuno Lopesnlop...@php.net wrote:
So we do whole program analysis. We start at the first statement in
global scope, model it, then add all its successor to a queue, and
keep modelling until we get to the end of the program. When we get to
a method
On Thu, Jun 25, 2009 at 9:08 PM, Nuno Lopesnlop...@php.net wrote:
So we do whole program analysis. We start at the first statement in
global scope, model it, then add all its successor to a queue, and
keep modelling until we get to the end of the program. When we get to
a method call, we start
Hi folks,
On Wed, Jun 24, 2009 at 11:42 PM, Graham Kellygrah...@facebook.com
wrote:
You mentioned a couple of weeks ago that you would be interested in
further
discussing dataflow for PHP. I briefly looked at the dataflow branch of
PHC.
It looks like you have been doing a LOT of work in