Update README.md

Author: AsemGhaleb

README.md

@@ -4,7 +4,7 @@ eTainter is an automated static analysis tool for detecting gas-related vulnerab
 For more details about eTainter, please reference the paper published in ISSTA 2022 [eTainter: Detecting Gas-Related Vulnerabilities in Smart Contracts](https://blogs.ubc.ca/dependablesystemslab/2022/04/08/etainter-detecting-gas-related-vulnerabilities-in-smart-contracts)
 
 
-If you use eTainter, please cite this paper
+If you use eTainter, please cite this paper.
 
  ```
 @inproceedings{ghaleb2022etainter,
@@ -23,9 +23,9 @@ If you use eTainter, please cite this paper
 
 ### Building eTainter 
 
-To build the tool manually, we provide a `requirements.txt` file and the script `setup.py` to simply install depedencies required by eTainter and to build everything as follows.
+To build the tool manually, we provide a `requirements.txt` file and the script `setup.py` to simply install the dependencies required by eTainter and to build everything as follows.
 
-Run the following command. Please make sure you are using python 3.8 or higher.
+Run the following command. Please make sure you are using Python 3.8 or higher.
 
 ```
 cd eTainter
@@ -42,7 +42,7 @@ As an example, the following command will analyze the contract file named '*runn
 python bin/analyzer.py -f runningExample.code -b -m 8
 ```
 
-The option -m ebables to set the allocated memory for the analysis (in gigabytes). In this example, the allocated memory limit is set to 8 GB. The defalut value is 6 GB when the option -m is not used.
+The option -m enables setting the allocated memory for the analysis (in gigabytes). In this example, the allocated memory limit is set to 8 GB. The default value is 6 GB when the option -m is not used.
 
 ## Contact
 For questions about our paper or this code, please contact Asem Ghaleb ([email protected])