module title and subtitle updated

remix-analyzer/src/solidity-analyzer/modules/blockBlockhash.ts

@@ -5,8 +5,8 @@ import { AnalyzerModule, ModuleAlgorithm, ModuleCategory, ReportObj, Compilation
 
 export default class blockBlockhash implements AnalyzerModule {
   warningNodes: FunctionCallAstNode[] = []
-  name: string = `Blockhash usage: `
-  description: string = `Semantics maybe unclear`
+  name: string = `Block hash: `
+  description: string = `Can be influenced by miners`
   category: ModuleCategory = category.SECURITY
   algorithm: ModuleAlgorithm = algorithm.EXACT
 

remix-analyzer/src/solidity-analyzer/modules/blockTimestamp.ts

@@ -8,7 +8,7 @@ export default class blockTimestamp implements AnalyzerModule {
   warningNowNodes: IdentifierAstNode[] = []
   warningblockTimestampNodes: MemberAccessAstNode[] = []
   name: string = `Block timestamp: `
-  description: string = `Semantics maybe unclear`
+  description: string = `Can be influenced by miners`
   category: ModuleCategory = category.SECURITY
   algorithm: ModuleAlgorithm = algorithm.EXACT
 

remix-analyzer/src/solidity-analyzer/modules/deleteDynamicArrays.ts

@@ -5,8 +5,8 @@ import { AnalyzerModule, ModuleAlgorithm, ModuleCategory, ReportObj, Compilation
 
 export default class deleteDynamicArrays implements AnalyzerModule {
   rel: UnaryOperationAstNode[] = []
-  name: string = `Delete on dynamic array: `
-  description: string = `Use require/assert appropriately`
+  name: string = `Delete dynamic array: `
+  description: string = `Use require/assert to ensure`
   category: ModuleCategory = category.GAS
   algorithm: ModuleAlgorithm = algorithm.EXACT
 

remix-analyzer/src/solidity-analyzer/modules/deleteFromDynamicArray.ts

@@ -6,7 +6,7 @@ import { AnalyzerModule, ModuleAlgorithm, ModuleCategory, ReportObj, Compilation
 export default class deleteFromDynamicArray implements AnalyzerModule {
   relevantNodes: UnaryOperationAstNode[] = []
   name: string = `Delete from dynamic array: `
-  description: string = `'delete' on an array leaves a gap`
+  description: string = `'delete' leaves a gap in array`
   category: ModuleCategory = category.MISC
   algorithm: ModuleAlgorithm = algorithm.EXACT
 

remix-analyzer/src/solidity-analyzer/modules/guardConditions.ts

@@ -6,7 +6,7 @@ import { AnalyzerModule, ModuleAlgorithm, ModuleCategory, ReportObj, Compilation
 export default class guardConditions implements AnalyzerModule {
   guards: FunctionCallAstNode[] = []
   name: string = `Guard conditions: `
-  description: string = `Use 'require' and 'assert' appropriately`
+  description: string = `Ensure appropriate use of require/assert`
   category: ModuleCategory = category.MISC
   algorithm: ModuleAlgorithm = algorithm.EXACT
 

remix-analyzer/src/solidity-analyzer/modules/intDivisionTruncate.ts

@@ -5,7 +5,7 @@ import { AnalyzerModule, ModuleAlgorithm, ModuleCategory, ReportObj, Compilation
 
 export default class intDivisionTruncate implements AnalyzerModule {
   warningNodes: BinaryOperationAstNode[] = []
-  name: string = `Data Truncated: `
+  name: string = `Data truncated: `
   description: string = `Division on int/uint values truncates the result`
   category: ModuleCategory = category.MISC
   algorithm: ModuleAlgorithm = algorithm.EXACT

remix-analyzer/src/solidity-analyzer/modules/lowLevelCalls.ts

@@ -11,7 +11,7 @@ interface llcNode {
 export default class lowLevelCalls implements AnalyzerModule {
   llcNodes: llcNode[] = []
   name: string = `Low level calls: `
-  description: string = `Semantics maybe unclear`
+  description: string = `Should be last resort`
   category: ModuleCategory = category.SECURITY
   algorithm: ModuleAlgorithm = algorithm.EXACT
 

remix-analyzer/src/solidity-analyzer/modules/selfdestruct.ts

@@ -6,7 +6,7 @@ import { AnalyzerModule, ModuleAlgorithm, ModuleCategory, ReportObj, ContractHLA
 
 export default class selfdestruct implements AnalyzerModule {
   name: string = `Selfdestruct: `
-  description: string = `Beware of caller contracts`
+  description: string = `Dependent contracts can be inoperable`
   category: ModuleCategory = category.SECURITY
   algorithm: ModuleAlgorithm = algorithm.HEURISTIC
 

remix-analyzer/src/solidity-analyzer/modules/txOrigin.ts

@@ -6,7 +6,7 @@ import { AnalyzerModule, ModuleAlgorithm, ModuleCategory, ReportObj, Compilation
 export default class txOrigin implements AnalyzerModule {
   txOriginNodes: MemberAccessAstNode[] = []
   name: string = `Transaction origin: `
-  description: string = `'tx.origin' is used`
+  description: string = `'tx.origin' used`
   category: ModuleCategory = category.SECURITY
   algorithm: ModuleAlgorithm = algorithm.EXACT