clou's People
clou's Issues
Cleanup command-line interface
Use C++20 intialized for-each loop
New function order bug -- analyzes only 400-500 functions instead of 800-1000
Use llvm::MemoryDependencyAnalysisPass instead of AliasAnalysis?
Get rid of custom solvers in util/z3.h
Optimize function ordering for analysis
Model CFG calls as normal instructions; push choice down to SMT solver
Cache execution windows in shared database rather than checking whether it reaches main function
[parallel transmitter mode] Automatically restart children jobs after time out
Make '--reverse-function-order' the default
Support for function-level parallelism in analysis
This will decrease start-to-finish time, but not serial runtime.
AEG::for_each_pred_in_window -- make thread safe
Add support for flagging variables as not arch-controlled ("uncontrolled")
Use C++20 concepts
Create c++ wrapper class for semaphores (<sem.h>)
Produce execution traces using debug info.
Fix fence insertion
Merge CFG unrolling + call passes
Dockerfile: add CMAKE_BUILD_PARALLEL_*
Add ExecPair for arch/trans pairs (Address, Node, etc.)
Monitor should use arguments present in LCM_ARGS (-j, -f)
Rename & retype `NodeRefSet CFG::exits` -> `NodeRef CFG::exit`
Have db.{h,cc} use gdbm
Remove CFG expansion pass
Use c++20 ranges
Cleanup header inclusion
Submit 'conditional jump' bug to Z3
Remove "--partial" flag
Clean up leakage structures & actions, etc.
Standardize parameters in test/CMakeLists.txt tests
Relax alias analysis
Scheme for adding named assertions w/ z3::translate
AEG::Context should use operator* and operator-> to make accessing underlying context more convenient
Report detailed leakage
Put CFG in topological order
Replace unnecessary templates with "auto"
Use shared GDBM database for reporting transmitters
Fix variadic args bug
Add flag to modulate use of analyzed functions database
Automate running libsodium tests
Merge CFG unrolling + CFG calls passes
parallelism within SCCs
Parallelism summary:
- Within Function, among candidate transmitters
- Within SCC, among functions
- Within Module, among SCCs
- Within make, among modules (make -j)
Rewrite test infrastructure to use debug info rather than noderefs / instructions
Use C++20 <=> operator
Use CFG::Frontier consistently
Don't require `r'` to be committed
Add SSB-controlled dataflow analysis to Spectre 4
Fix transient alias analysis
Also update flag "--aa=transient"
Eliminate z3::context from AEG -- should accept context as paremter in getter methods
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. ๐๐๐
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google โค๏ธ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.