Commits

Show all
Author Commit Message Labels Comments Date
John T. Criswell
Added code to the TopDown pass to signal to SAFECode/SVA that a pointer needs a run-time check because values from the same kernel pool (kmem_cache_t in Linux) return values of different types. Added code to handle the llva_do_index instruction.
Branches
SVA
John T. Criswell
Moved the kmem_cache_alloc() hack from the local DSA pass to the Top-Down DSA pass (where more aliasing information is available).
Branches
SVA
John T. Criswell
Added code to merge metapools together for objects allocated out of the same kmem_cache_t. Re-ordered header files per LLVM coding standards.
Branches
SVA
John T. Criswell
Fix recognition of allocators. Make all kernel allocators and I/O allocators except kmem_cache_alloc() allocate type-unknown memory objects.
Branches
SVA
John T. Criswell
Added a comment to remind me what the Offset does. Thanks, Andrew.
Branches
SVA
John T. Criswell
Changed the pseudo allocator (pseudo_alloc()) to return a pointer to the allocated memory just like the other heap allocators.
Branches
SVA
John T. Criswell
Test for the correct flag in isIONode() method.
Branches
SVA
John T. Criswell
Fixed handling of integer to pointer casts. These should be marked unknown. Removed unneeded macro definition.
Branches
SVA
John T. Criswell
The llva_writeio instructions modify, not read, I/O memory.
Branches
SVA
John T. Criswell
Look for __ioremap() instead of ioremap().
Branches
SVA
John T. Criswell
Print an O for when the I/O flag is set on a DSNode.
Branches
SVA
John T. Criswell
Added the --enable-safeio configure option for safe I/O in SVA. Fixed a comment in configure.ac.
Branches
SVA
John T. Criswell
Add support for I/O allocations.
Branches
SVA
John T. Criswell
Recognize malloc() and free() as allocators and deallocators, even in kernel mode. Build object files for linking with the SAFECode tool. Use the correct type for pools when running in kernel and non-kernel mode.
Branches
SVA
John T. Criswell
Test commit.
Branches
SVA
John T. Criswell
Testing another commit and reverting previous change.
Branches
SVA
John T. Criswell
Test commit.
Branches
SVA
John T. Criswell
Make DSA compile correctly in kernel and non-kernel mode.
Branches
SVA
Andrew Lenharth
different cloners
Branches
SVA
John T. Criswell
Modified code so that the indirect call is performed even if there is no matching target. This allows the kernel to print an error message and continue operating when a function check fails.
Branches
SVA
John T. Criswell
Don't consider kmalloc/kfree as regular allocators.
Branches
SVA
John T. Criswell
Added assertion.
Branches
SVA
Andrew Lenharth
kernel stat pass and cleanup
Branches
SVA
Andrew Lenharth
minor improvements
Branches
SVA
Andrew Lenharth
how did I forget these files
Branches
SVA
Andrew Lenharth
a cloner to improve context sensitivity in TD results. It also happens to make the kernel smaller
Branches
SVA
Andrew Lenharth
last of llva functions, I hope
Branches
SVA
Andrew Lenharth
td sets metapool flags as a pass over the graphs
Branches
SVA
John T. Criswell
Changed the system call number/function map to record the actual system call number instead of the LLVM Value representing the number. Multiple LLVM Values can represent the same number.
Branches
SVA
Andrew Lenharth
ignore llvm.used
Branches
SVA
  1. Prev
  2. Next