2 #include "scanalysis.h"
5 ModelVector<TraceAnalysis *> * registered_analysis;
6 ModelVector<TraceAnalysis *> * installed_analysis;
8 void register_plugins() {
9 registered_analysis=new ModelVector<TraceAnalysis *>();
10 installed_analysis=new ModelVector<TraceAnalysis *>();
11 registered_analysis->push_back(new SCAnalysis());
12 registered_analysis->push_back(new SCFence());
15 ModelVector<TraceAnalysis *> * getRegisteredTraceAnalysis() {
16 return registered_analysis;
19 ModelVector<TraceAnalysis *> * getInstalledTraceAnalysis() {
20 return installed_analysis;