mirror of https://github.com/CIRCL/AIL-framework
				
				
				
			
		
			
				
	
	
		
			258 lines
		
	
	
		
			9.7 KiB
		
	
	
	
		
			HTML
		
	
	
			
		
		
	
	
			258 lines
		
	
	
		
			9.7 KiB
		
	
	
	
		
			HTML
		
	
	
<!DOCTYPE html>
 | 
						|
<html>
 | 
						|
 | 
						|
<head>
 | 
						|
  <meta charset="utf-8">
 | 
						|
  <meta name="viewport" content="width=device-width, initial-scale=1.0">
 | 
						|
 | 
						|
  <title>Analysis Information Leak framework Dashboard</title>
 | 
						|
 | 
						|
  <!-- Core CSS -->
 | 
						|
  <link href="{{ url_for('static', filename='css/bootstrap.min.css') }}" rel="stylesheet">
 | 
						|
  <link href="{{ url_for('static', filename='font-awesome/css/font-awesome.css') }}" rel="stylesheet">
 | 
						|
  <link href="{{ url_for('static', filename='css/sb-admin-2.css') }}" rel="stylesheet">
 | 
						|
  <link href="{{ url_for('static', filename='css/dataTables.bootstrap.css') }}" rel="stylesheet" type="text/css" />
 | 
						|
  <link href="{{ url_for('static', filename='css/jquery-ui.min.css') }}" rel="stylesheet" type="text/css" />
 | 
						|
  <script language="javascript" src="{{ url_for('static', filename='js/jquery.js')}}"></script>
 | 
						|
  <script src="{{ url_for('static', filename='js/bootstrap.min.js') }}"></script>
 | 
						|
  <script src="{{ url_for('static', filename='js/jquery.dataTables.min.js') }}"></script>
 | 
						|
  <script src="{{ url_for('static', filename='js/dataTables.bootstrap.js') }}"></script>
 | 
						|
  <script src="{{ url_for('static', filename='js/jquery-ui.min.js') }}"></script>
 | 
						|
  <script src="{{ url_for('static', filename='js/jquery.flot.js') }}"></script>
 | 
						|
  <script src="{{ url_for('static', filename='js/jquery.flot.time.js') }}"></script>
 | 
						|
  <script src="{{ url_for('static', filename='js/jquery.flot.stack.js') }}"></script>
 | 
						|
 | 
						|
  <style>
 | 
						|
      .sparkLineStats ul {
 | 
						|
          padding-left:0;
 | 
						|
          list-style:none
 | 
						|
      }
 | 
						|
  </style>
 | 
						|
</head>
 | 
						|
<body>
 | 
						|
 | 
						|
   <div id="wrapper">
 | 
						|
      <nav class="navbar navbar-default navbar-static-top" role="navigation" style="margin-bottom: 0">
 | 
						|
      {% include 'header.html' %}
 | 
						|
      <!-- /.navbar-top-links -->
 | 
						|
          <div class="navbar-default sidebar" role="navigation">
 | 
						|
              <div class="sidebar-collapse">
 | 
						|
                  <ul class="nav" id="side-menu">
 | 
						|
                      <li class="sidebar-search">
 | 
						|
                          {% include 'searchbox.html' %}
 | 
						|
                      </li>
 | 
						|
                 </ul>
 | 
						|
                  <!-- /#side-menu -->
 | 
						|
              </div>
 | 
						|
              <!-- /.sidebar-collapse -->
 | 
						|
           <a  href="{{ url_for('index') }}"><img src="{{ url_for('static', filename='image/AIL.png') }}" /></a>
 | 
						|
          </div>
 | 
						|
          <!-- /.navbar-static-side -->
 | 
						|
      </nav>
 | 
						|
   </div>
 | 
						|
 | 
						|
<div id="page-wrapper">
 | 
						|
  <div class="row">
 | 
						|
      <div class="col-lg-12">
 | 
						|
          <h1 class="page-header" data-page="page-termsfrequency" >Terms plot tool</h1>
 | 
						|
      </div>
 | 
						|
      <!-- /.col-lg-12 -->
 | 
						|
  </div>
 | 
						|
    <!-- /.row -->
 | 
						|
    <div class="row">
 | 
						|
 | 
						|
    <!-- Panel OPTIONS -->
 | 
						|
    <div class="row">
 | 
						|
        <div class="col-lg-12">
 | 
						|
            <div class="row">
 | 
						|
                <div class="col-lg-12">
 | 
						|
                    <div id="panel-today" class="panel panel-default">
 | 
						|
                        <div class="panel-heading">
 | 
						|
                            <strong>Select options</strong>
 | 
						|
                        </div>
 | 
						|
                        <div class="panel-body">
 | 
						|
                            <div aria-disabled="false" class="slider sliderRange sliderBlue ui-slider ui-slider-horizontal ui-widget ui-widget-content ui-corner-all" style="margin-bottom: 5px;"></div>
 | 
						|
                            <strong>Date:</strong> <input type="text" id="amount" readonly style="border:0; color:#f6931f; font-weight:bold;">
 | 
						|
 | 
						|
                            <div class="form-group input-group" style="margin-top: 30px;">
 | 
						|
                                <span class="input-group-addon"><span class="glyphicon glyphicon-stats"></span></span>
 | 
						|
                                <input id="TermInput" class="form-control" placeholder="Term to plot" type="text" style="max-width: 400px;" data-init-plot="{{ term }}">
 | 
						|
                                <button id="plot-btn" class="btn btn-info" style="margin-left: 10px;"><span class="fa fa-caret-down"> Plot a term</button>
 | 
						|
                                <button id="plot-btn-add" class="btn btn-success" style="margin-left: 6px;"><span class="fa fa-plus"></span> Add the term to the chart</button>
 | 
						|
                            </div>
 | 
						|
 | 
						|
                        </div>
 | 
						|
                        <!-- /.panel-body -->
 | 
						|
                    </div>
 | 
						|
                </div>
 | 
						|
                <!-- /.panel -->
 | 
						|
            </div>
 | 
						|
            <!-- /.panel -->
 | 
						|
        </div>
 | 
						|
    </div>
 | 
						|
    
 | 
						|
    <!-- Panel PLOT -->
 | 
						|
    <div class="row">
 | 
						|
        <div class="col-lg-12">
 | 
						|
            <div class="row">
 | 
						|
                <div class="col-lg-12">
 | 
						|
                    <div id="panel-today" class="panel panel-default">
 | 
						|
                        <div class="panel-heading">
 | 
						|
                            <strong>Graph</strong>
 | 
						|
                        </div>
 | 
						|
                        <div class="panel-body">
 | 
						|
                            <div id="graph" style="height: 300px;"></div>
 | 
						|
                        </div>
 | 
						|
                        <!-- /.panel-body -->
 | 
						|
                    </div>
 | 
						|
                </div>
 | 
						|
                <!-- /.panel -->
 | 
						|
            </div>
 | 
						|
            <!-- /.panel -->
 | 
						|
        </div>
 | 
						|
    </div>
 | 
						|
 | 
						|
 | 
						|
    <!-- /.row -->
 | 
						|
    </div>
 | 
						|
<!-- /#page-wrapper -->
 | 
						|
</div>
 | 
						|
 | 
						|
 | 
						|
<div style="position: absolute; border: 1px solid rgb(255, 221, 221); padding: 2px; background-color: #333; color:white; opacity: 0.8; top: 423px; left: 616px; display: none;" id="tooltip"></div>
 | 
						|
 | 
						|
 | 
						|
<!-- import graph function -->
 | 
						|
<script>
 | 
						|
    $(document).ready(function(){
 | 
						|
        activePage = $('h1.page-header').attr('data-page');
 | 
						|
        $("#"+activePage).addClass("active");
 | 
						|
 | 
						|
 | 
						|
        /* Create the slider and button*/
 | 
						|
        $('#plot-btn-add').hide();
 | 
						|
        var today = Date.now();
 | 
						|
        var old_day = today - (12*31*24*60*60)*1000;
 | 
						|
        $( ".sliderRange" ).slider({
 | 
						|
            range: true,
 | 
						|
            min: old_day,
 | 
						|
            max: today,
 | 
						|
            values: [ today - (7*24*60*60)*1000, today ],
 | 
						|
            step: 24*60*60*1000,
 | 
						|
            slide: function( event, ui ) {
 | 
						|
                $( "#amount" ).val( new Date(ui.values[ 0 ]).toLocaleDateString() + " - " + new Date(ui.values[ 1 ]).toLocaleDateString() );
 | 
						|
            }
 | 
						|
        });
 | 
						|
 | 
						|
        $( "#amount" ).val( new Date($( ".sliderRange" ).slider( "values", 0 )).toLocaleDateString() +
 | 
						|
          " - " + new Date($( ".sliderRange" ).slider( "values", 1 )).toLocaleDateString() );
 | 
						|
        
 | 
						|
        $('#plot-btn').click(plotData); 
 | 
						|
        $('#plot-btn-add').click(addData); 
 | 
						|
 | 
						|
        $("#TermInput").val($("#TermInput").attr("data-init-plot"));
 | 
						|
        if($("#TermInput").attr("data-init-plot") != "") {
 | 
						|
            $("#plot-btn").click();
 | 
						|
        }
 | 
						|
 | 
						|
        $("#TermInput").keyup(function(event){
 | 
						|
            if(event.keyCode == 13){
 | 
						|
                $("#plot-btn").click();
 | 
						|
                $("#TermInput").val("");
 | 
						|
            }
 | 
						|
        });
 | 
						|
 | 
						|
   });
 | 
						|
</script>
 | 
						|
 | 
						|
<script>
 | 
						|
var plot;
 | 
						|
var graph_data = [];
 | 
						|
var graph_options = {
 | 
						|
                        series: {
 | 
						|
                            lines: { 
 | 
						|
                                show: true,
 | 
						|
                                lineWidth: 2
 | 
						|
                            },
 | 
						|
                            bars: {show: false, barWidth: 60*60*1000},
 | 
						|
                            shadowSize: 0
 | 
						|
                        },
 | 
						|
                        grid: { 
 | 
						|
                            hoverable: true, 
 | 
						|
                            clickable: true, 
 | 
						|
                            tickColor: "#f9f9f9",
 | 
						|
                            borderWidth: 0
 | 
						|
                        },
 | 
						|
                        xaxis: {
 | 
						|
                              mode: "time",
 | 
						|
                              timeformat: "%m/%d",
 | 
						|
                              minTickSize: [1, "day"]
 | 
						|
                        },
 | 
						|
                        yaxis: {
 | 
						|
                            autoscaleMargin: 0.1,
 | 
						|
                        },
 | 
						|
                    }
 | 
						|
 | 
						|
 | 
						|
function plotData() {
 | 
						|
    $('#plot-btn-add').show("fast");
 | 
						|
    var curthis = $(this);
 | 
						|
    var term = $('#TermInput').val();
 | 
						|
    var range_start = new Date($( ".sliderRange" ).slider( "values", 0 )).getTime() / 1000;
 | 
						|
    var range_end = new Date($( ".sliderRange" ).slider( "values", 1 )).getTime() / 1000;
 | 
						|
 | 
						|
    $.getJSON("{{ url_for('terms_plot_tool_data') }}", { range_start: range_start, range_end: range_end, term: term }, function(data, status){
 | 
						|
        graph_data = [];
 | 
						|
        var to_plot = [];
 | 
						|
        var curr_data = [];
 | 
						|
        for(i=0; i<data.length; i++) {
 | 
						|
                curr_data.push([data[i][0]*1000, data[i][1]]);
 | 
						|
        }
 | 
						|
        to_plot.push({ data: curr_data, label: term}); 
 | 
						|
        graph_data.push({ data: curr_data, label: term});
 | 
						|
        plot = $.plot($("#graph"), to_plot, graph_options);
 | 
						|
 | 
						|
        $("#graph").bind("plothover", function (event, pos, item) {
 | 
						|
            if (item) {
 | 
						|
                var date = new Date(item.datapoint[0]);
 | 
						|
                var x = parseInt(date.getUTCMonth())+1 + "/" + date.getUTCDate();
 | 
						|
                var y = item.datapoint[1];
 | 
						|
    
 | 
						|
                $("#tooltip").html(item.series.label + " for "+x + " = " + y)
 | 
						|
                    .css({top: item.pageY-15, left: item.pageX+5})
 | 
						|
                    .fadeIn(200);
 | 
						|
            } else {
 | 
						|
                $("#tooltip").hide();
 | 
						|
            }
 | 
						|
        });
 | 
						|
 | 
						|
        $("#TermInput").val("");
 | 
						|
    })
 | 
						|
}
 | 
						|
 | 
						|
 | 
						|
function addData() {
 | 
						|
    var curthis = $(this);
 | 
						|
    var term = $('#TermInput').val();
 | 
						|
    var range_start = new Date($( ".sliderRange" ).slider( "values", 0 )).getTime() / 1000;
 | 
						|
    var range_end = new Date($( ".sliderRange" ).slider( "values", 1 )).getTime() / 1000;
 | 
						|
 | 
						|
    $.getJSON("{{ url_for('terms_plot_tool_data') }}", { range_start: range_start, range_end: range_end, term: term }, function(data, status){
 | 
						|
        var to_plot = [];
 | 
						|
        var curr_data = [];
 | 
						|
        for(i=0; i<data.length; i++) {
 | 
						|
                curr_data.push([data[i][0]*1000, data[i][1]]);
 | 
						|
        }
 | 
						|
        to_plot.push({ data: curr_data, label: term}); 
 | 
						|
        graph_data.push({ data: curr_data, label: term});
 | 
						|
        plot = $.plot($("#graph"), graph_data, graph_options);
 | 
						|
        $("#TermInput").val("");
 | 
						|
    })
 | 
						|
}
 | 
						|
 | 
						|
</script>
 | 
						|
 | 
						|
 | 
						|
</body>
 | 
						|
</html>
 |