repo.or.cz
/
smatch.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
flow: don't fake an impossible default
2018-01-25
D
an Carpent
e
r
flow: don't fake an impossible
defau
l
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carp
e
nt
e
r
type_val: record fewer "un
k
no
w
n" a
s
signments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan Car
p
enter
flow:
s
e
t l
o
op_count to zero when parsin
g
i
nline
f
un
c
tions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
D
a
n
Car
p
e
nter
core: silence some false pos
i
tives from parsing inv
a
lid
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-19
Dan Carpente
r
implied
:
use a time
b
ased ti
m
eout ins
t
ead of counting
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-19
D
a
n Carpe
n
t
e
r
extra:
h
andle loops l
i
ke: while (--i >= 0) {
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-18
Dan Carpen
t
e
r
function_hooks: fake an
assign
m
ent when funct
i
ons return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-18
D
a
n Carpente
r
check_free_s
t
r
i
c
t: New stricter cross func
t
ion use
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-17
Dan
Ca
r
penter
check_at
o
mic_in
c
_de
c
:
t
r
ack a
t
o
m
ic_in
c
() and atomic_d
e
c()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-17
Dan Carpe
n
te
r
assigned_expr: handle fa
k
e assignm
e
nts bet
t
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-17
Da
n
Carpenter
assigned_expr: remove debug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-16
Dan Carpenter
kernel_printf: %px is
v
alid
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-16
Dan
C
arpenter
str
e
e: de
b
ugging: pri
n
t the number of states
in __print_stree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-12
Dan Ca
r
penter
mtag: commit
a
ll mtag r
e
lated code to date
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-12
D
a
n Carpenter
smdb
.
py: fix so
m
e crashi
n
g bugs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-12
Dan Carpenter
container_o
f
:
handle fun
c
tion
c
alls like
foo->bar(foo
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-12
Dan Car
p
enter
smatch: get t
h
e smatch
b
in
d
i
r c
o
rrectly
w
hen it's
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
user_
d
ata2: emp
t
y states are not user d
a
ta
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
constraints_required:
i
mprove handling
o
f
assigned
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan Car
p
e
nter
d
b:
d
on't split by
NULL vs non
-
NU
L
L
when there
a
re
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan
C
arpenter
f
l
ow: store a backup of the
s
tart t
i
me when parsin
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan
C
ar
p
e
nter
h
e
l
per: change so
m
e
nonsense v
a
l
u
es to o
t
her n
o
nsense
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
D
B
: introduce a ti
m
e
o
ut
handling calle
r
i
n
fo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
D
a
n
Carpenter
address: fix handling
o
f &foo-
>
ba
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan
Car
p
enter
conts
t
raints: use
c
a
l
ler info
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan Ca
r
penter
co
n
straints: move print_
r
eturn_i
m
plies_
c
onstrained()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan Ca
r
p
enter
constr
a
i
n
ts: cleanu
p
u
n
met_c
o
nstraint()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan
Ca
r
penter
c
onstraints: fix add
_
cons
t
rain
t
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-09
Dan Carp
e
nter
mtag: i
n
tro
d
uce cr
e
ate
_
mtag_alias
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-08
Dan Carpenter
mta
g
: fi
x
g
e
t
_mtag() for reco
r
ded sta
t
es a
n
d
for array
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-08
Dan
C
arpenter
links: no
n
eed to record links outside a
f
unction
call
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-08
Dan C
a
rpenter
t
ype_val
:
cache
DB info as a
s
peed up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-08
Dan Carpen
t
er
string_li
s
t: prevent a
use af
t
er free
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-14
Dan
Carpe
n
t
e
r
mtag:
renam
e
f
r
om mtags plural to mtag si
n
g
u
lar
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
helpe
r
: k
e
ep a
s
mal
l
cache of
r
e
cently used va
r
iable
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Da
n
C
arpenter
ext
r
a: pass e
x
pression po
i
nter
to mod/nomo
d
hooks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
e
x
t
r
a
: write inf
r
astru
c
t
u
re to pass expr t
o
no_
m
od
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
D
a
n
Carpe
n
ter
db/bui
l
d
_ear
l
y_ind
e
x
.
sh: set u
p
m
o
re mtag index
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
expressi
o
ns: initi
a
lize ->member_off
s
e
t() in member_expression()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpente
r
function_hooks: set path impossible if we c
u
ll everything
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Da
n
Carp
e
nter
mtags
:
remove the & pre-op
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
scripts/gen_allo
c
ation
_
list
.
sh: add
_
_alloc_s
k
b()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Da
n
Ca
r
penter
db/fixup_ke
r
nel
.
sh:
snprintf(
)
r
e
turn
s
aren't re
a
lly
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
D
an Carpenter
e
x
tra: pas
s
the modified expres
s
ion to e
x
tra_mod_hooks
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
ext
r
a
:
store v
a
lu
e
s for ex
p
r
e
ssions
l
i
k
e
"foo[
3
]
.
bar"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan
C
arp
e
nter
ad
d
ress: d
o
n't segfaul
t
pa
r
sing invalid cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Dan
C
a
rpente
r
ign
o
re
:
re-write and add
_expr() ver
s
ions of functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Dan
C
ar
p
enter
p
a
ram_s
e
t/filter: PARAM_SET instead
o
f P
A
RAM_ADD
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Dan
C
arpe
n
ter
pa
r
s
e
_call_math: use as
s
ig
n
ed values
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpenter
s
val: impr
o
ve
s
val_binop_
o
verfl
o
ws()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpen
t
e
r
extra:
d
on't mod
i
f
y const parame
t
ers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpenter
addre
s
s
/type: make some function parameters const
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpenter
struct_assig
n
m
ent
:
remove a
n
d
uplicate
N
ULL check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
D
a
n Carpenter
struct_assignment: don
'
t
d
o
u
bl
e
parse ulong
assignment
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Dan
Carpenter
s
t
ruct_assig
n
m
e
nt: fix a NULL de
r
ef
e
r
ence
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carpent
e
r
db/mt
a
gs:
a
dd mtag_data and
mtag
_
map ta
b
les
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-04
D
a
n C
a
rpen
t
er
db/fn_ptr_dat
a
_link: don't sto
r
e duplicate rec
o
rd
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-04
D
a
n
C
arpenter
db: a
l
low
S
Q
L
statements
to be run later
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-04
Dan Car
p
enter
d
b: introduce get_mta
g
_name
_
e
xpr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carpen
t
er
s
t
ruct_assignment:
h
an
d
l
e
non struct, pointer assignments
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-04
Dan Car
p
en
t
er
struc
t
_assignment: fix handling o
f
n
o
n_
s
truct_assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-04
Dan C
a
rpenter
struct_assignment: split handle_non_str
u
ct_assigments
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-24
Dan Carp
e
nter
index_overfl
o
w: make al
l
messages "e
r
ror:"
inste
a
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-24
D
an Car
p
e
nter
ind
e
x_overf
l
ow: small cle
a
nu
p
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-24
Dan Carpenter
inde
x
_overf
l
o
w
: don'
t
w
a
rn about impossible pat
h
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-22
Dan C
a
rpen
t
er
m
t
ag: intr
o
duc
e
memory tag
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-22
Dan Carpenter
implications:
s
et_state() should
trump im
p
lications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-21
Dan Carpenter
buf_c
o
mparison
:
copy the c
o
de from smatch_
c
onst
r
aints
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-15
Dan Ca
r
pente
r
implied: imp
r
ove the "too hai
r
y
" message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-14
D
an Ca
r
penter
c
o
mparison: store the expressions
invo
l
ved (if it's
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-14
Dan Carpe
n
ter
c
omparison:
rena
m
e
var1 to l
e
ft_var and var2 to right_var
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-13
D
an Carpenter
constraints_required:
detect
a bunch
o
f
new types of
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-13
Dan Ca
r
penter
constraints: allow
f
u
nct
i
on constra
i
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-13
Dan Carpent
e
r
constrai
n
ts: don
'
t store signed vs unsigned
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-04
D
an Carpent
e
r
kerne
l
_printf
:
don't seg
f
au
l
t on invalid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-03
Dan Carpenter
user_dat
a
: fix co
m
pile
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-03
Dan Carpenter
type_v
a
l: use
smatch_containe
r
_of
(
) info
r
mation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-03
Dan Carpenter
u
ser_data: this file is replaced
by
c
he
c
k_us
e
r_
d
ata2
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-01
Dan Carp
e
n
ter
impli
e
d: ad
d
a timeout in smatch_im
p
lied
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-01
D
an Ca
r
penter
f
low:
d
elete
out of scope variables for c
o
mpound
s
tatement
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-01
Dan Carpenter
scope: move a chec
k
for S
T
MT_COMPOUN
D
earlier
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpente
r
valid
a
t
ion/sm_ca
s
ts
.
c: update to no
t
u
s
e an unintializ
e
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Dan
C
arpenter
revert "smatc
h
_typ
e
.
c: comparison ex
p
ressions always
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
validation/sm_buf_size6
.
c
: update f
o
r
m
a
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
p
a
rs
e
:
m
a
k
e
an
a
rr
a
y larger
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
hel
p
e
r: fi
x
get_array_expr(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Dan Ca
r
p
enter
assigned_expr:
save a reco
r
d when
a
function se
t
s foo
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Dan Ca
r
pe
n
ter
modi
f
ication_hooks: handle PAR
A
M_SET earlier
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
D
a
n Car
p
e
n
ter
.
gitigno
r
e: i
g
nore
.
smatch,
.
sma
t
c
h
.
s
q
l and
.
smatch
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
D
an Carpenter
cons
t
rai
n
t
s
: add a co
m
ment, remove debug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
D
an Car
p
ente
r
constraints_required:
s
tore
more r
e
q
uired
c
on
s
t
r
aints
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Dan Ca
r
penter
call_math
:
add kzalloc(
)
to the l
i
st o
f
allocation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Dan
Carpenter
c
all
_
math: prev
e
nt an endless loop
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Dan
C
a
rpenter
a
l
location_fun
c
s: ad
d
__alloc_skb(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Dan
C
arpenter
constraints
:
f
i
x selecting the
r
equir
e
d co
n
s
t
rai
n
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-30
Rasmu
s
Villemoes
check_kernel_printf
.
c: warn abou
t
"%l
x
", (lon
g
)pt
r
commit
|
commitdiff
|
tree
2017-10-30
Rasm
u
s Villemoes
smatch_type
.
c: comparison
e
xpressio
n
s
a
lways have
ty
p
e int
commit
|
commitdiff
|
tree
2017-10-30
Rasmus Villemoes
smatch_t
y
pe
.
c: f
i
x
type of pointer diff
commit
|
commitdiff
|
tree
2017-10-27
Da
n
Carpenter
st
r
uct_a
s
signm
e
nt
:
fix p
a
rsing of invalid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-27
Dan
Carpenter
symbol: let is_ptr_ty
p
e()
take NULL poi
n
t
e
rs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next