Hi Lei,<br><br>Instead of introducing new symbols, how about use enums to represent the type state? <br><br>For example, we could use the following states:<br><br>NO_CHROOT, ROOT_CHANGED, JAIL_ENTERED, JAIL_BROKEN<br><br>NO_CHROOT ---chroot(foo)--> ROOT_CHANGED ---chdir(/)--> JAIL_ENTERED<br>
                                                                   |<br>                                                                   ------chdir('..')--> JAIL_BROKEN <br><br>These states are stored directly in the GDM and operated by the ChrootChecker. Is this sufficient for checking this?<br>
<br><div class="gmail_quote">On Tue, Sep 14, 2010 at 4:09 PM, 章磊 <span dir="ltr"><<a href="mailto:ioripolo@gmail.com">ioripolo@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
hi, clang<br><div style="margin-left: 40px;"><br>This patch try to check improper use of chroot.<br><br>In order to implement this checker, i add a subclass (SymbolEnv) of SymbolData to represent some environment variables. Now it contains only one kind of environment variables(JailKind).Then adds several states to the Jail Symbol.<br>

<br>This is an experimental checker, and i don't know it is the right way to do this stuff.<br><br>I'll appreciate it if there are any advice about this patch.</div><br><font color="#888888"><br clear="all"><br>-- <br>
Best regards!<br>
<br>Lei Zhang<br>
</font><br>_______________________________________________<br>
cfe-dev mailing list<br>
<a href="mailto:cfe-dev@cs.uiuc.edu">cfe-dev@cs.uiuc.edu</a><br>
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev</a><br>
<br></blockquote></div><br>