File Rule Mining
===

i`m searching tools for rule mining from source code(specially for c# language ) or executable file . it should extract rules from file , for example these tools show that account balance should be more than zero .
can anybody help me?
