Giters
nmosier
/
clou
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
10
Watchers:
2
Issues:
49
Forks:
5
nmosier/clou Issues
Add support for flagging variables as not arch-controlled ("uncontrolled")
Closed
2 years ago
Add SSB-controlled dataflow analysis to Spectre 4
Closed
2 years ago
AEG::Context should use operator* and operator-> to make accessing underlying context more convenient
Closed
2 years ago
Add ExecPair for arch/trans pairs (Address, Node, etc.)
Closed
2 years ago
Submit 'conditional jump' bug to Z3
Closed
2 years ago
Scheme for adding named assertions w/ z3::translate
Closed
2 years ago
Fix transient alias analysis
Closed
2 years ago
Remove "--partial" flag
Closed
2 years ago
Standardize parameters in test/CMakeLists.txt tests
Closed
2 years ago
Dockerfile: add CMAKE_BUILD_PARALLEL_*
Closed
3 years ago
AEG::for_each_pred_in_window -- make thread safe
Closed
2 years ago
Rewrite test infrastructure to use debug info rather than noderefs / instructions
Closed
2 years ago
Cache execution windows in shared database rather than checking whether it reaches main function
Closed
2 years ago
Comments count
1
Relax alias analysis
Closed
2 years ago
Produce execution traces using debug info.
Closed
2 years ago
Don't require `r'` to be committed
Closed
3 years ago
Clean up leakage structures & actions, etc.
Closed
2 years ago
Eliminate z3::context from AEG -- should accept context as paremter in getter methods
Closed
2 years ago
Rename & retype `NodeRefSet CFG::exits` -> `NodeRef CFG::exit`
Closed
2 years ago
Use CFG::Frontier consistently
Closed
2 years ago
Fix fence insertion
Closed
2 years ago
Comments count
1
Fix variadic args bug
Closed
2 years ago
Model CFG calls as normal instructions; push choice down to SMT solver
Closed
2 years ago
Merge CFG unrolling + CFG calls passes
Closed
2 years ago
Get rid of custom solvers in util/z3.h
Closed
3 years ago
parallelism within SCCs
Closed
2 years ago
Use llvm::MemoryDependencyAnalysisPass instead of AliasAnalysis?
Closed
2 years ago
Comments count
1
New function order bug -- analyzes only 400-500 functions instead of 800-1000
Closed
3 years ago
Automate running libsodium tests
Closed
2 years ago
Add flag to modulate use of analyzed functions database
Closed
2 years ago
[parallel transmitter mode] Automatically restart children jobs after time out
Closed
2 years ago
Report detailed leakage
Closed
2 years ago
Create c++ wrapper class for semaphores (<sem.h>)
Closed
2 years ago
Use shared GDBM database for reporting transmitters
Closed
2 years ago
Support for function-level parallelism in analysis
Closed
2 years ago
Make '--reverse-function-order' the default
Closed
3 years ago
Monitor should use arguments present in LCM_ARGS (-j, -f)
Closed
2 years ago
Optimize function ordering for analysis
Closed
3 years ago
Remove CFG expansion pass
Closed
2 years ago
Merge CFG unrolling + call passes
Closed
2 years ago
Put CFG in topological order
Closed
3 years ago
Have db.{h,cc} use gdbm
Closed
3 years ago
Use C++20 intialized for-each loop
Closed
3 years ago
Replace unnecessary templates with "auto"
Closed
3 years ago
Use C++20 <=> operator
Closed
3 years ago
Use c++20 ranges
Closed
3 years ago
Use C++20 concepts
Closed
3 years ago
Cleanup header inclusion
Closed
2 years ago
Cleanup command-line interface
Closed
2 years ago