index
:
debian-urweb
dfsg_clean
master
unofficial
Debian packaging for Ur/Web
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
iflow.sml
Commit message (
Expand
)
Author
Age
*
Refactor SQL parsing code from Iflow to Sql, add querydml parser.
Edward Z. Yang
2012-03-12
*
First part of changes to avoid depending on C function call argument order of...
Adam Chlipala
2012-01-07
*
[De]serialization of times in JavaScript; proper integer division in JavaScri...
Adam Chlipala
2010-12-23
*
tryDml
Adam Chlipala
2010-09-05
*
Roll back WHERE checking
Adam Chlipala
2010-07-27
*
equalAny policies
Adam Chlipala
2010-07-27
*
Initial version of equalKnown working for secret
Adam Chlipala
2010-07-27
*
Some Iflow improvements for gradebook
Adam Chlipala
2010-05-06
*
Safe unmodeled SQL expressions marked as known
Adam Chlipala
2010-05-01
*
Basic handling of recursive functions in Iflow
Adam Chlipala
2010-05-01
*
Add rand to Basis and handle it in Iflow
Adam Chlipala
2010-04-29
*
Complain about DValRec; optimizations for unit-valued ECase and forgetting of...
Adam Chlipala
2010-04-29
*
Avoid state space explosion with ECase that just writes a constant in each case
Adam Chlipala
2010-04-18
*
Fix innappropriate removal of duplicate tables from DML policies
Adam Chlipala
2010-04-18
*
Better handling of DELETE and UPDATE
Adam Chlipala
2010-04-18
*
Take advantage of equalities between get_cookie calls
Adam Chlipala
2010-04-18
*
Use key information in more places, and catch cases where one key completion ...
Adam Chlipala
2010-04-18
*
Parsing boolean SQL constants and fixing a related prover bug
Adam Chlipala
2010-04-18
*
At loop heads, havoc relations that might be changed by the loop
Adam Chlipala
2010-04-17
*
Check for implicit flows via expressions injected into SQL
Adam Chlipala
2010-04-15
*
Parsing ORDER BY
Adam Chlipala
2010-04-15
*
Get refurbished Iflow working with calendar
Adam Chlipala
2010-04-14
*
More descriptive info flow error message
Adam Chlipala
2010-04-13
*
Completely redid main Iflow logic; so far, policy and policy2 work
Adam Chlipala
2010-04-13
*
Command-line use of Iflow
Adam Chlipala
2010-04-13
*
Catching lame FFI applications
Adam Chlipala
2010-04-13
*
Fix problem with overly weak ambients for queries; fix known-related bug in a...
Adam Chlipala
2010-04-13
*
When applying multiple policies at once, filter the policy set at the beginni...
Adam Chlipala
2010-04-13
*
Avoid pointless rebuilding of hypothesis E-graphs
Adam Chlipala
2010-04-13
*
Havoc relations that have been updated
Adam Chlipala
2010-04-13
*
sendOwnIds policies
Adam Chlipala
2010-04-11
*
Using multiple policies to check a written value
Adam Chlipala
2010-04-11
*
Iflow working with a UNION
Adam Chlipala
2010-04-11
*
Use functional dependency information
Adam Chlipala
2010-04-11
*
Complete update records with fields that are not being set
Adam Chlipala
2010-04-11
*
Update policies
Adam Chlipala
2010-04-11
*
Express all query outputs using record literals
Adam Chlipala
2010-04-11
*
Delete policies
Adam Chlipala
2010-04-11
*
Insert policies
Adam Chlipala
2010-04-11
*
Constants are known
Adam Chlipala
2010-04-10
*
Path conditions, used to track implicit flows
Adam Chlipala
2010-04-10
*
Abstract type for evalExp state; handle WHERE conditions soundly
Adam Chlipala
2010-04-10
*
Some serious debugging of the new Cc
Adam Chlipala
2010-04-08
*
Implemented proper congruence closure, to the point where tests/policy works
Adam Chlipala
2010-04-08
*
Change query_policy to sendClient; all arguments passed to SQL predicates are...
Adam Chlipala
2010-04-08
*
secret logon
Adam Chlipala
2010-04-06
*
Replaced Select predicate with special-case handling for one-or-no-rows queries
Adam Chlipala
2010-04-06
*
About to try removing Select predicate
Adam Chlipala
2010-04-06
*
Parsing more comparison operators
Adam Chlipala
2010-04-06
*
Parsing float and string SQL literals
Adam Chlipala
2010-04-06
[next]