diff --git a/infer/src/IR/Sil.mli b/infer/src/IR/Sil.mli
index 31ff0468e..d0ca41eea 100644
--- a/infer/src/IR/Sil.mli
+++ b/infer/src/IR/Sil.mli
@@ -48,7 +48,7 @@ type instr =
       [*lexp1:typ = exp2] where
         [lexp1] is an expression denoting a heap address
         [typ] is the root type of [lexp1]
-        [exp2] is the expression whose value is store. *)
+        [exp2] is the expression whose value is stored. *)
   | Prune of Exp.t * Location.t * bool * if_kind
       (** prune the state based on [exp=1], the boolean indicates whether true branch *)
   | Call of (Ident.t * Typ.t) * Exp.t * (Exp.t * Typ.t) list * Location.t * CallFlags.t
diff --git a/infer/src/IR/Typ.ml b/infer/src/IR/Typ.ml
index a6f6dca91..6c5270d9d 100644
--- a/infer/src/IR/Typ.ml
+++ b/infer/src/IR/Typ.ml
@@ -1196,7 +1196,7 @@ module Procname = struct
     match p with
     | Java pname ->
         (* Strip autogenerated anonymous inner class numbers in order to keep the bug hash
-           invariant when introducing new annonynous classes *)
+           invariant when introducing new anonymous classes *)
         Str.global_replace (Str.regexp "\\$[0-9]+") "$_"
           (Java.to_string ~withclass:true pname Simple)
     | ObjC_Cpp m when ObjC_Cpp.is_objc_method m ->
diff --git a/infer/src/biabduction/SymExec.ml b/infer/src/biabduction/SymExec.ml
index 5fa0bc53d..3a68909c7 100644
--- a/infer/src/biabduction/SymExec.ml
+++ b/infer/src/biabduction/SymExec.ml
@@ -1274,7 +1274,7 @@ let rec sym_exec exe_env tenv current_pdesc instr_ (prop_ : Prop.normal Prop.t)
             let skip_loop =
               match ik with
               | Sil.Ik_while | Sil.Ik_for ->
-                  not (IntLit.iszero i) (* skip wile(1) and for (;1;) *)
+                  not (IntLit.iszero i) (* skip while(1) and for (;1;) *)
               | Sil.Ik_dowhile ->
                   true (* skip do..while *)
               | Sil.Ik_land_lor ->