Welcome! » Log In » Create A New Profile

Pushdown sanitizers

Posted by Domagoj 
Domagoj
Pushdown sanitizers
July 23, 2011 03:26PM

Hi,

I'm doing research on formal analysis of pushdown sanitizers (i.e., sanitizers that require a stack, not only a finite-state machine). Are there any sanitizers like that in HTML Purifier? If so, could you please point me to the files I should study? If not, any ideas where I could find such examples?

Thanks! Best, -- Domagoj

Re: Pushdown sanitizers
July 23, 2011 03:35PM

Do you have a definition of "sanitizer" you're working off of?

Domagoj
Re: Pushdown sanitizers
July 30, 2011 01:16PM

No, I don't. I'm looking for small examples of pushdown sanitizers that would be relatively easy to formalize. Pretty much anything would work, as long as it's relatively small, but practical example.

Thanks, -- D

Re: Pushdown sanitizers
July 30, 2011 01:24PM

Unfortunately, HTML Purifier was written before I knew what a pushdown automata was, so although I do not doubt we use stacks, they're probably not being used in any sort of formal way.

Sorry, you do not have permission to post/reply in this forum.