| Name |
Last commit
|
Last update |
|---|---|---|
| .. | ||
| expression | ||
| project | ||
| term | ||
| bitvector.rs | ||
| blk.rs | ||
| def.rs | ||
| expression.rs | ||
| jmp.rs | ||
| mod.rs | ||
| program.rs | ||
| project.rs | ||
| sub.rs | ||
| term.rs | ||
| variable.rs |
Adds a string abstraction analysis and includes a rewrite of the CWE-78 check using the new abstract string domains.
| Name |
Last commit
|
Last update |
|---|---|---|
| .. | ||
| expression | Loading commit data... | |
| project | Loading commit data... | |
| term | Loading commit data... | |
| bitvector.rs | Loading commit data... | |
| blk.rs | Loading commit data... | |
| def.rs | Loading commit data... | |
| expression.rs | Loading commit data... | |
| jmp.rs | Loading commit data... | |
| mod.rs | Loading commit data... | |
| program.rs | Loading commit data... | |
| project.rs | Loading commit data... | |
| sub.rs | Loading commit data... | |
| term.rs | Loading commit data... | |
| variable.rs | Loading commit data... |